Uni-Logo

Current Lectures

Pages for lectures up to winter semester 2003/2004 are only available via our old teaching page, which may contain broken links. Please allow us some time while the pages are being revised.

Principles of AI Planning

This course gives a detailed introduction to the theoretical and algorithmic foundations of modern AI planning systems.

Course type: Lecture
Lecturers: Prof. Dr. Bernhard Nebel and Dr. Robert Mattmüller
Web page: Principles of AI Planning

Knowledge Representation and Reasoning

The course provides a detailed introduction to the techniques that form the basis of advanced systems for knowledge representation and automatic reasoning: semantic networks and inheritance, description logics, non-monotonic reasoning (default logic, cumulative logic, answer set programming) as well as temporal and spatial constraint-based reasoning.

Course type: Lecture
Lecturers: Prof. Dr. Bernhard Nebel and Dr. Gregor Behnke
Web page: Knowledge Representation and Reasoning

Seminar: Advanced Planning

Course type: Seminar
Organizer: Prof. Dr. Bernhard Nebel
Web page: Seminar: Advanced Planning