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.
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.
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.