Jess: Jess is a clone of the popular CLIPS expert system shell written
entirely in Java. Last modification on July 20 2000.
AGFL Grammar Work Lab: a collection of software systems for Natural Language Processing. Last modification on March 7 2000.
Soar: a cognitive architectural framework and models, and an AI programming
language. Last modification on August 5 2000.
Otter: ``Otter is designed to prove theorems stated in first-order logic with
equality. Otter's inference rules are based on resolution and paramodulation,
and it includes facilities for term rewriting, term orderings, Knuth-Bendix
completion, weighting, and strategies for directing and restricting searches
for proofs. Otter can also be used as a symbolic calculator and has an embedded
equational programming system.'' Last modification on November 27 2000.
Hdrug: a graphical user environment for natural language processing in
Prolog. Last modification on December 11 2000.
CLIPS: productive development and delivery expert system tool. Last modification on March 24 2000.