S-Match is a semantic matching framework.
A puzzle game of rules acting upon rules. Create the desired pattern.
Log-linear analysis (data modelling) for high-dimensional data
A simple Belief Merging Prototype
A set of powerful tools to perform TDD on MAS based on JADE
Calculate semantic similarity for any human and human-like languages
ASTRA is an implementation of AgentSpeak(TR)
DisChoco: Distributed Constraint Reasoning Solver
Automated Algorithm Synthesis
Another free OWL/DL Reasoner