CODICE 80165 ANNO ACCADEMICO 2021/2022 CFU 6 cfu anno 1 COMPUTER ENGINEERING 11160 (LM-32) - GENOVA SETTORE SCIENTIFICO DISCIPLINARE ING-INF/05 LINGUA Inglese SEDE GENOVA PERIODO 2° Semestre MATERIALE DIDATTICO AULAWEB OBIETTIVI E CONTENUTI OBIETTIVI FORMATIVI The goal of the course is to introduce students to topics in Artificial Intelligence, mostly on the “deductive” side of the discipline. Students will learn basics in propositional and first order logic and apply them in the context of knowledge representation and reasoning. Also the basic principles of heuristic search and planning in the context of full observability and deterministic action effects will be added on top of the basic capabilities for representation and reasoning. DOCENTI E COMMISSIONI ENRICO GIUNCHIGLIA Commissione d'esame ENRICO GIUNCHIGLIA (Presidente) MARCO MARATEA MASSIMO NARIZZANO RENATO UGO RAFFAELE ZACCARIA ARMANDO TACCHELLA (Presidente Supplente) LEZIONI INIZIO LEZIONI https://courses.unige.it/11160/p/students-timetable Orari delle lezioni L'orario di questo insegnamento è consultabile all'indirizzo: Portale EasyAcademy ESAMI MODALITA' D'ESAME Scritto Calendario appelli Data appello Orario Luogo Tipologia Note 10/01/2022 09:00 GENOVA Scritto 10/01/2022 09:00 GENOVA Scritto 16/02/2022 09:00 GENOVA Scritto 16/02/2022 14:30 GENOVA Scritto 22/06/2022 09:00 GENOVA Scritto 22/06/2022 09:00 GENOVA Scritto 22/06/2022 09:00 GENOVA Scritto 11/07/2022 09:00 GENOVA Scritto 11/07/2022 09:00 GENOVA Scritto 12/09/2022 09:00 GENOVA Scritto 12/09/2022 09:00 GENOVA Scritto