| 31 | 29-01-2015
esercitazioni ore 14,30-16,15 aula 9 |
| 30 | 29-01-2015
esercitazioni ore 11,30-13,15 aula B7 |
| 29 | 27-01-2015
esercitazioni ore 14,30-16,15 aula B5 |
| 28 | 27-01-2015
esercitazioni ore 11,30-13,15 aula C5 |
| 27 | 22-01-2015
SPARQL |
| 26 | 22-01-2015
RDF/RDFS/OWL |
| 25 | 20-01-2015
Tassonomie ed ereditarietà nelle Description Logics |
| 24 | 20-01-2015
introduzione alle Description Logics |
| 23 | 15-01-2015
modelli di rappresentazione della conoscenza a frame |
| 22 | 13-01-2015
Clausole di Horn |
| 21 | 08-01-2015
CNF |
| 20 | 16-12-2014
introduzione alla "resolution" |
| 19 | 11-12-2014
"entailment" per il ragionamento automatico |
| 18 | 09-12-2014
Come esprimere conoscenza in FOL |
| 17 | 04-12-2014
Entailment in FOL |
| 16 | 02-12-2014
Interpretazione in FOL |
| 15 | 27-11-2014
FOL: introduzione |
| 14 | 25-11-2014
ruolo della rappresentazione della conoscenza per lo sviluppo di sistemi intelligenti |
| 13 | 20-11-2014
conoscenza e ragionamento incerto |
| 12 | 18-11-2014
introduzione al calcolo della probabilità |
| 11 | 13-11-2014
Logica a supporto del ragionamento in sistemi basati su conoscenza |
| 10 | 11-11-2014
Sistemi basati su conoscenza |
| 9 | 04-11-2014
introduzione ala rappresentazione della conoscenza |
| 8 | 30-10-2014
euristiche per la ricerca di un itinerario |
| 7 | 28-10-2014
metodologie di ricerca informata per la soluzione di problemi |
| 6 | 23-10-2014
algoritmi non informati per la ricerca di soluzioni a problemi |
| 5 | 21-10-2014
ricerca di soluzione ad un problema |
| 4 | 16-10-2014
"formulazione" di un problema e definizione degli obiettivi da raggiungere |
| 3 | 14-10-2014
ruolo della rappresentazione a supporto del ragionamento automatico in contesti parzialmente noti |
| 2 | 09-10-2014
ruolo della rappresentazione |
| 1 | 07-10-2014
presentazione del corso |