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.
Book through Infostud (please email the teacher in case there is no registration open). The exam periods are:January 2018
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.
[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.