DISCOPLAN on-line (Sistema on-line per il calcolo di invarianti nella pianificazione)

Il LISP (manuale on-line)

OTTER (Organized Techniques for Theorem proving and Effective Research)

Backtraching

Reti Neurali

Fuzzy Logic Toolbox (Matlab 5.2)

IPP e Blackbox

UCPOP, CPLAN e SHOP

FF - Fast Forward

Archivio Sistemi di Pianificazione

Ragionamento temporale (Timegraph-II)

Ragionamento temporale (MATS)

  Sistemi di Programmazione a Vincoli

Reti Bayesiane

CLIPS (Software di Produzione Basato su Regole)

SAT solvers