Corso di Intelligenza Artificiale
|
Software didattico
|
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
|