Software

Il LISP (manuale on-line)

OTTER (Organized Techniques for Theorem proving and Effective Research)

Backtraching

Reti Neurali

Fuzzy Logic Toolbox (Matlab 5.2)

UCPOP, CPLAN e SHOP

FF – Fast Forward

Ragionamento temporale (Timegraph-II)

Reti Bayesiane

LPG (Un pianificatore)