Artificial Intelligence (Intelligenza Artificiale)

A.A. 2017/2018, Fall semester

12 credits, SSD ING-INF/05, Master Artificial Intelligence and Robotics
(Laurea Magistrale in Intelligenza Artificiale e Robotica)

Prof. Daniele Nardi, Luca Iocchi (Section 2)

Artificial Intelligence 1 (Intelligenza Artificiale 1)

A.A. 2017/2018, Fall semester

6 credits, SSD ING-INF/05, Master Engineering in Computer Science
(Laurea Magistrale in Ingegneria Informatica)

Prof. Daniele Nardi

Starting from the academic year 2016/17 the new course Artificial Intelligence (12 ECTS) is replacing the earlier courses on Artificial Intelligence 1 and 2 for the students of the master in Artificial Intelligence and Robotics. Artificial Intelligence 1 (6 ECTS credits) corresponds to Section 1 of Artificial Intelligence (12 ECTS) and is offered to the students of other master courses.
Students of academic years 2015/16 can refer to the web sites of previous courses in their curriculum to verify exam specifications and syllabus.

The course management is done through Artificial Intelligence


Section 1 (starting Monday 25th, 2017)

Monday 10:00 -- 13:00, ClassRoom 11, Via Eudossiana
Tuesday 10:00 -- 12:00, ClassRoom 29, Via Eudossiana

Section 2 (starting Wed 27th, 2017)

Wednesday 14:00 -- 16:00, ClassRoom B2, Via Ariosto
Thursday 16:00 -- 19:00, ClassRoom B2, Via Ariosto

Exam dates

Book through Infostud (please email the teacher in case there is no registration open). The exam periods are:

January 2018
February 2018
March-April 2018 (for old students registered in 2015 or earlier)
June 2018
July 2018
September 2018
November 2018 (for old students registered in 2016 or earlier)

Plan of the Lectures (Section 1)

Plan of the Lectures (Section 2)


S. Russell, P. Norvig, Artificial Intelligence: A Modern Approach, Third Edition, Prentice Hall Series in Artificial Intelligence, 2010.

[BL] R. J. Brachman, H.J. Levesque, Knowledge Representation and Reasoning, Morgan Kaufmann, 2004.

[SS] L. Sterling, E. Shapiro, The Art of Prolog, 2nd Ed., MIT Press, 1994.

[DL] F. Baader, D. Calvanese, B. McGuinness, D. Nardi, P. Patel Scheider (Eds.), The Description Logic Handbook, Cambridge Univ. Press, 2007 (chap. 1, chap. 2, chap. 14).

[GL88] Michael Gelfond and Vladimir Lifschitz The Stable Model Semantics for Logic Programming, in Kowalski, Robert and Bowen, Kenneth, editors, Proceedings of International Logic Programming Conference and Symposium, 1070-1080, 1988. MIT Press.

[GNT] Malik Ghallab, Dana Nau, Paolo TraversoAutomated Planning, Morgan Kaufmann Pbublisher, 2004.

[W] M. Wooldridge, Multi-Agent Systems, John Wiley, 2009.

[We] G. Weiss, Multiagent Systems, MIT Press, 2013, 2nd edition. Chapter 12: Distributed Constraint Handling and Optimization, A. Farinelli, M. Vinyals, A. Rogers, and N.R. Jennings.