[TU Dresden]

Logic-based Knowledge Representation

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

Dr. Carsten Lutz

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

NEW: The evaluation is available for download.

Lecture Material

Since a script of the lecture is not available, it is recommended that students attending the lecture copy what is written on the blackboard. The following slides can be downloaded in postscript format:


The exercise group takes place on Wednesday 11:10-12:40 (DS3) in room GRU 350 and is held by Barbara Morawska.

Every week, an exercise sheet will be made available for download from this webpage.
  1. exercise sheet (for 15.10.2003), slides
  2. exercise sheet (for 22.10.2003), pdf file
  3. exercise sheet (for 29.10.2003),pdf file
  4. exercise sheet (for 5.11.2003), pdf file
  5. exercise sheet (for 12.11.2003), pdf file
  6. exercise sheet (for 20.11.2003), pdf file
  7. exercise sheet (for 26.11.2003), pdf file
  8. exercise sheet (for 3.12.2003), pdf file
  9. exercise sheet (for 10.12.2003), pdf file
  10. exercise sheet (for 17.12.2003), pdf file
  11. exercise sheet (for 7.1.2004), pdf file
  12. exercise sheet (for 14.1.2004), pdf file
  13. exercise sheet (for 21.1.2004), pdf file
  14. exercise sheet (for 28.1.2004), pdf file
  15. exercise sheet (for 4.2.2004), pdf file

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

Carsten Lutz