Context Broker Architecture
CoBrA is an agent-based architecture for supporting context-aware systems in smart spaces like intelligent meeting rooms, smart homes or vehicles.
SATEN
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.
OMCSNet
A freely available semantic network of common-sense knowledge and a set of tools for making inferences using this knowledge. Features download, white papers and developer tools.
Classic Knowledge Representation System
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.
XMaster
Information on a Windows expert system shell. Includes product descriptions and pricing and contact information.
DAA Solutions
Software company providing KBE capabilities for companies with products requiring custom design as an integral part of their sales process.
FramerD
A portable distributed object-oriented database designed to support the maintenance and sharing of knowledge bases.
CLIPS
Productive expert system development and delivery tool; a full environment for creating rule and/or object based expert systems.
Mind Graph
Graphic techniques for problem solving in maths, computer programming, studying, note-taking, brainstorming and knowledge representation.
MOTEL
A Knowledge Representation System combining expressiveness of Natural Language Processing with Description Logic.
Project Halo
A research effort towards the development of Digital Aristotle, an inference-based question answering system.
Knowledge Explorer
KR is a knowledge representation language combining English-like statements, commands and questions with UNIX-like conditionals, loops and methods. Knowledge Explorer implements the KR language in an interactive tool to record, check and search knowledge. Knowledge is recorded in entity-characteristic-proposition hierarchies with space-time-dependent events.
|