Software
- SitLog: A Programming Language for Service Robots’ Tasks License: GPL
- Audio corpus recorder tool License: GPL
- A light non-monotonic knowledge-base for service robots License: GPL
- Golem-III: Opportunistic Diagnosis, Decision Making and Planning Inferences License: GPL
- Reasoning with Preferences in Service Robots License: GPL
- Inference in Service Robots License: GPL