Lecture - The Logic of Knowledge Bases SS 2009

An announcement of the course can also be found in the course information system CAMPUS. Contents This course is about the logic of knowledge bases, in two distinct but related senses.

Proseminar Planning in Artificial Intelligence SS 2009

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 An announcement of the course can also be found in the course information system CAMPUS.

Seminar Selected Topics on Specifying Intelligent Agents SS 2010

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.