[TU Dresden]

Logic-based Knowledge Representation

Technische Universität Dresden
Institut für Theoretische Informatik
Lehrstuhl für Automatentheorie

Prof. Franz Baader

Course Description

Starting from a short description of early knowledge representation formalisms (such as Semantic Networks and Frames) and their shortcomings, the course will illustrate how results and methods from logic can support the design of knowledge representation systems that have high expressive power and sound and complete reasoning algorithms. In particular, we will consider Description Logics, Modal Logics, and Nonmonotonic Logics as formalisms for respectively representing terminological knowledge, subjective and time dependent knowledge, and uncertain and incomplete knowledge.


The lecture takes place twice a week in room GRU 350: Tuesday 16:40-18:10 (DS6) and Thursday 16:40-18:10 (DS6).

The lectures next week (3.07.06 - 7.07.06) will be in the room 459 and the tutorial in the room 454.

Lecture Material

The script for the lecture is available here. Some slides will be made avaliable for download in postscript format.


The exercise group takes place once a week in room GRU 350 and is held by Barbara Morawska.

Every week, an exercise sheet will be made available for download from this webpage.

Credits / Examinations

Computational logic students can earn 9 credits by attending this lecture. The lecture can be used for the modules KRAI and TCSL. In order to get the credits, CL students have to do meet both of the following two obligations:
  1. present at least four exercises in front of the exercise group;

  2. pass an oral examination at the end of the term.
Computer Science students are not obliged to present exercises, but are invited to do so.


The following literature can be downloaded from the web or found at the WebOPAC of SLUB.

Barbara Morawska