Jess: Clone de CLIPS écrit en Java. Dernière modification le 9 juillet 2002.
AGFL Grammar Work Lab: a collection of software systems for Natural Language Processing. Dernière modification le 30 septembre 2002.
Soar: a cognitive architectural framework and models, and an AI programming
language. Dernière modification le 6 septembre 2002.
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.'' Dernière modification le 21 janvier 2002.
CLIPS: productive development and delivery expert system tool. Dernière modification le 6 octobre 2002.