A puzzle game of rules acting upon rules. Create the desired pattern.
Automated Algorithm Synthesis
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
Another free OWL/DL Reasoner
Connected Component Labeling Algorithm - Extracting Objects From image
Speech recognition application builder and library
VoR is a voice recognition tool for Android.
Simple Semantic Web Architecture and Protocol