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 International MSc Program in Computational Logic.