Artificial Intelligence (Intelligenza Artificiale)

A.A. 2016/2017, 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. 2016/2017, Fall semester

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

Prof. Daniele Nardi

In 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) correponds 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.

Due to the university professors' strike (for more information see, in Italian), the exam date September 20th for the written test of AI 12 credits and AI1 6 credits (and older exams such as Artificial Intelligence and Machine Learning) is canceled. According to the policies defined for the strike, the exam date will be postponed to October 5th, 2017. Time: 4pm Location: Room B2, Via Ariosto 25 Please register again in INFOSTUD for the new date. Students of AI 12 credits, who need only to complete the exam having already passed the written part in a previous date, are invited to do it according to the planned schedule: Tuesday September 19th at 5pm, or Thursday September 21st at 4pm teacher's office. The registration of the exam will however take place on October 5th.
The course management is done through Artificial Intelligence


Section 1 (updated starting Nov. 21st 2016)

Monday 10:15 -- 11:45, Room 2 Via del Castro Laurenziano
Monday 12:00 -- 13:30, Room 2 Via del Castro Laurenziano

Section 2 (updated starting Nov. 22nd 2016)

Tuesday 14:00 -- 15:30, Room B2 Via Ariosto
Tuesday 15:45 -- 17:15, Room B2 Via Ariosto
Thursday 10:15 -- 11:45, Room 22 (via Eudossiana)

Classes start September 26th, 2016

Exam dates

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

January 2017
February 2017
March-April 2017 (for old students registered in 2014 or earlier)
June 2017
July 2017
September 2017
November 2017 (for old students registered in 2015 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.