Corso di Intelligenza Artificiale II A.A. 2006/2006 Orario: Venerdi` 11-13, aula E4 (+ lab aula B2) Venerdi` 16-18, aula E4 (+ lab aula B2) Ultimo aggiornamento: 2005-09-30 (*) Esercitazioni in laboratorio Ven 30 Settembre 2005 Presentazione del corso Ven 7 Ottobre 2005 Logica del primo ordine Ven 7 Ottobre 2005 Logica dei primo ordine Ven 14 Ottobre 2005 Logica del primo ordine Ven 14 Ottobre 2005 Metodi a tableaux Ven 21 Ottobre 2005 Logiche non classiche Ven 21 Ottobre 2005 Logiche abduttive, logiche modali Ven 28 Ottobre 2005 Logiche multivalenti, fuzzy logic Ven 28 Ottobre 2005 Description Logics Ven 4 Novembre 2005 (*) Description Logics e Ontologie Ven 4 Novembre 2005 (*) Description Logics e Ontologie Ven 11 Novembre 2005 Probabilita` come logica dell'incerto Ven 11 Novembre 2005 Reti bayesiane Ven 2 Dicembre 2005 Introduzione al calcolo evolutivo Ven 2 Dicembre 2005 (*) Algoritmi Genetici Ven 16 Dicembre 2005 Programmazione genetica Ven 16 Dicembre 2005 (*) Programmazione genetica Ven 13 Gennaio 2006 (*) Esercitazioni - Progetti Ven 13 Gennaio 2006 (*) Esercitazioni - Progetti Ven 20 Gennaio 2006 (*) Esercitazioni - Progetti Ven 20 Gennaio 2006 (*) Esercitazioni - Progetti Ven 27 Gennaio 2006 (*) Esercitazioni - Progetti Ven 27 Gennaio 2006 (*) Discussione risultati