Knowledge Representation and Reasoning - Overview

Lecturers: Prof. Dr. Bernhard Nebel, Dr. Stefan Wölfl, Prof. Dr. Felix Lindner (Juniorprof.)

Exercises: Prof. Dr. Bernhard Nebel, Dr. Stefan Wölfl, Prof. Dr. Felix Lindner (Juniorprof.)


Lecture: Monday 10:00-12:00 and Wednesday 10:00-11:00
Exercises: Wednesday 11:00-12:00


Lecture: Building 51, Room SR 00-006
Exercises: Building 51, Rom SR 00-006


The course provides an in-depth introduction into the techniques that underly advanced systems for knowledge representation and automated reasoning. The following topics are covered:

  • classical logic (recap) and modal logics
  • non-monotonic reasoning: default logic, cumulative logic, non-monotonic logic programming
  • qualitative temporal and spatial reasoning: Allen's interval algebra and the region connection calculus RCC-8
  • description logics


The course is aimed at advanced students of Computer Science or Applied Computer science, such as Bachelor students in their final year and Master students with a background in formal logics.

Most of the topics covered in the course are based on classical formal logic and its extensions, and a strong background in logics is highly advisable. We also expect basic knowledge of complexity theory (e.g. the theory of NP-completeness).

Exercises and Exam

During the semester there will be weekly exercises (theoretical assignments and implementation projects). For the admission to the exam it is necessary to reach 50% of all points.

Exercises and projects may be worked on in groups of two. Larger groups or copied solutions will not be accepted and result in nonadmission to the exam in case of recurrence.

Course Materials

Slides used in the lecture will be availbale on the lecture page. Additional material on discussed topics will be anounced in the lecture. There is no book or script of this lecture.

The lecture will not be recorded.