Uni-Logo

Lectures in winter semester 2020/2021

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