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