CLIPS
- http://www.ghg.net/clips/CLIPS.html
- Productive expert system development and delivery tool; a full environment for creating rule and/or object based expert systems.
DAA Solutions
- http://www.daasolutions.com
- Software company providing KBE capabilities for companies with products requiring custom design as an integral part of their sales process.
FramerD
- http://www.framerd.org/
- A portable distributed object-oriented database designed to support the maintenance and sharing of knowledge bases.
Mind Graph
- http://www.mind-graph.net
- Graphic techniques for problem solving in maths, computer programming, studying, note-taking, brainstorming and knowledge representation.
OMCSNet
- http://web.media.mit.edu/~hugo/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.
Project Halo
- http://www.projecthalo.com
- A research effort towards the development of Digital Aristotle, an inference-based question answering system.
SATEN
- 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.
XMaster
- http://www.chrisnaylor.co.uk/
- Information on a Windows expert system shell. Includes product descriptions and pricing and contact information.