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.
Knowledge Representation and Reasoning
[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.
[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.