The registration form for the midterm exam can be found here.

Note: The registration form for the midterm exam can be found here.

An announcement of the course can also be found in the course information system CAMPUS.

Content

In this proseminar we will discuss selected topics from the textbook

Automated Planning: Theory & Practice
Malik Ghallab, Dana Nau, Paolo Traverso
Morgan Kaufmann Publishers Inc. San Francisco, CA, USA. ISBN:1558608567

Contents

The foundations of Artificial Intelligence, and the scope of the discipline has benefited from significant insights for the last 50 years: from symbolic representation and reasoning to theoretical assertiveness for learning programs. In this seminar, we cover a few ideas on the foundations of the aforementioned approaches, such as the situation calculus and the Frame Problem in logical formalisms for action and effects, non-monotonic reasoning, and graphical representations for decision-making and learning.

Recently, Artificial Intelligence has also benefited from the use of important results in the field of game theory. To this extent, we also include topics in non-cooperative game theory and the impact of game theory on Artificial Intelligence.