Algoritmi di Ricerca basati su Backtracking

Manuale in italiano del dimostratore di teoremi OTTER

Documentazione su Reti Neurali

Relazione sulla Logica Fuzzy

Elaborazione del linguaggio naturale

Agenti Intelligenti & Internet

Tecniche di Ricerca in Teoria dei Giochi

Studio Pianificatori Graphplan ed IPP

Studio Pianificatori Shop, Cplan e UCPOP 

Tecniche di confronto tra piani

Reti Bayesiane

Analisi e sperimentazione di GPG-LS

Applicazione di una rete neurale al problema della segmentazione di filmati mpeg

Il Sistema ADJ per l'Adattamento di Piani

CLIPS (Sistema basato su regole di produzione)

SAT SOLVERS

Programmazione Logica e Pianificazione in DLV