Sillabo dell'insegnamento

• B - Algoritmi
* ASC - Algoritmi su Strutture Combinatorie
algoritmi di indicizzazione e ricerca
V - Varie
Rappresentazione dell'incertezza
V - Varie
Sistemi e modelli di supporto alle decisioni
V - Varie
Giochi basati su modelli di decisione markoviani
V - Varie
Modelli di decisione markoviani
TAA - Tecniche Algoritmiche Avanzate
paradigma shift-and e applicazioni
SDA - Strutture di Dati Avanzate
strutture dati per indicizzazione, alberi di suffisso, trie
* ASC - Algoritmi su Strutture Combinatorie
pattern matching esatto e approssimato
• M - Rappresentazione della conoscenza
* LPD - Logica e Programmazione Dichiarativa
logica proposizione, dei predicati ed altri tipi di logiche
* SBC - Sistemi Basati su Conoscenza
Web Sematico e tecnologie
* SBC - Sistemi Basati su Conoscenza
Ontologie come modelli formali, concettuali e computazionali
* RP - Risoluzione di Problemi
Ragionamento mediante motori a regole