Knowledge-Based Systems Group
Prof. Gerhard Lakemeyer, Ph.D.
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.