Artificial Intelligence II (Intelligenza Artificiale II)

6 credits, SSD ING-INF/05, Spring semester

A.A. 2015/2016

Master Artificial Intelligence and Robotics
(Laurea Magistrale in Intelligenza Artificiale e Robotica)

Prof. Daniele Nardi

In academic year 2016/17 the course has been replaced the new course Artificial Intelligence . The syllabus for the course and the exam remain unchanged for the this academic year. Exam dates are the same as those of the new AI course. Students can attend the classes of the new course corresponding to the topics that are part of the syllabus.

The course material is available through Artificial Intelligence 2

Plan of the Lectures


[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.