  |
Project Halo - http://www.projecthalo.com
A research effort towards the development of Digital Aristotle, an inference-based question answering system. |
| |
Classic Knowledge Representation System - http://www.bell-labs.com/project/classic/
Features description of the software framework and implemented systems, as well as information on machine learning applied to description logics. Also offers a selected bibliography and details on obtaining the software. |
| |
Context Broker Architecture - http://cobra.umbc.edu/index.html
CoBrA is an agent-based architecture for supporting context-aware systems in smart spaces like intelligent meeting rooms, smart homes or vehicles. |
| |
http://www.framerd.org/ - http://www.framerd.org/
A portable distributed object-oriented database designed to support the maintenance and sharing of knowledge bases. |
| |
http://magic.it.uts.edu.au/systems/saten.html - http://magic.it.uts.edu.au/systems/saten.html
A Sagacious Agent for Theory Extraction and RevisioN. SATEN is an intelligent object-oriented web-based information management system. It provides an information extraction engine and methods for iterated belief revision. It can also perform nonmonotonic reasoning, possibilistic reasoning, and hypothetical reasoning. |