TUD Logo

TUD Home » ... » Institutes » Institute of Artificial Intelligence » Knowledge Representation and Reasoning

Faculty of Computer Science

Welcome at the Institute of Artificial Intelligence
KRR Group

The Knowledge Representation and Reasoning (KRR) group at the Technische Universität Dresden has a rich faculty of experience in the areas of logic, deduction, logic programming, knowledge representation and inference, planning, and connectionism.

The group is headed by Prof. Steffen Hölldobler. He is a member of the International Center for Computational Logic (ICCL), which is an interdisciplinary center of competence in research and teaching in the field of Computational Logic. He is also head of the best dissertation award committee of the Gesellschaft für Informatik e.V. (GI).

The KRR group is involved in the teaching activities of the Computer Science department as well as in the MSc Program in Computational Logic.


Prof. Steffen Hölldobler
Acting Director of the Institute
Head of the group
Telephone +49 (0)351 463 38340
Telefax +49 (0)351 463 38342

Ms. Sylvia Wünsch
Telephone +49 (0)351 463 38341
Telefax +49 (0)351 463 38342

Office location:
Room 2006
Nöthnitzer Straße 46

Mail address:
Faculty of Computer Science
TU Dresden
01062 Dresden