Software

Materiale da aggiornare…

OTTER (Organized Techniques for Theorem proving and Effective Research)

Backtraching

Fuzzy Logic Toolbox (Matlab 5.2)

FF – Fast Forward

Ragionamento temporale (Timegraph-II)

Reti Bayesiane

LPG (Un pianificatore)