Seminar Selected Topics on Specifying Intelligent Agents SS 2010

Monday, Dec 29, 2008


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.


Places for seminars and laboratories are centrally allocated. Registration will be open from 05.01.2009 until 18.01.2009 at the following URL: Please, clearly indicate why you want to join our seminar within the above mentioned registration process. We won’t be able to consider your application otherwise.


  • basic study period completed (Vordiplom)
  • An understanding of logic in AI and computer science
  • Knowledge in graph theory and probability theory is necessary for the game theory and graphical representation topics
  • It is extremely helpful if the participants have taken both the Artificial Intelligence and the Knowledge Representation course


The 14 topics to be discussed in the seminar and the associated literature is here. The list is subject to change and the final list will be presented at the preliminary meeting.

Participant Topic Advisor
Christian Kalla Multi-agent Reinforcement Learning DB
Faezeh Afroozi Symbolic Dynamic Programming DB
Andreas Braun Default Reasoning DB
Hussein Baagil Knowledge, Action and the Frame Problem VB
Niklas Hoppe Non-Markovian Control VB
Xi Chen Beliefs and Game Theory VB
Martin Mrozek Reasoning about Uncertainty VB
Esch Hans-Georg Solution Concepts VB
Hew Kar chin Progress a database JC
Christoph Schulze Knowledge-Based Programming JC
Wied Pakusa State Constraints JC
Mohammed Reza Yazdandoost Frame Problem STF
Andreas Toennis Concurrent Actions STF
Bernd Heyer Logic Programming STF


Additional Information

General Info

Seminar Procedure

Participation in all meetings is bindingly for achieving the credit. The literature given for the talk should be discussed with the instructor. The instructors of the different topics are to be announced.

Library Tour

Renate Eschenbach from our library offers guided tours on how to find literature in the library and how to prepare a seminar. Interested students should enlist for a tour in the preliminary discussion.