Artificial Intelligence (Intelligenza Artificiale)

A.A. 2018/2019, Fall semester

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

Prof. Daniele Nardi, Roberto Capobianco (Section 2)

Artificial Intelligence 1 (Intelligenza Artificiale 1)

A.A. 2018/2019, 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 24th, 2018)

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

Section 2 (starting Wed 26th, 2018)

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

Schedule changes:

On December 12th, class on Section 2A (Prof. Nardi)
On December 13th, class on Section 2B (Prof. Capobianco)

Exam dates

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

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

[RL] Sutton, Richard S., and Andrew G. Barto. Reinforcement learning: An introduction. MIT press, 1998.