Welcome to the

Dresden's new home for knowledge technologies and computational logic.
Our groups

Research groups introduced:

Knowledge Representation and Reasoning

Steffen Hölldobler

The Knowledge Representation and Reasoning group has two major parts: human reasoning and solving the satisfiability testing and related decision and discrete optimization problems. In both areas we focus on research, and on the other hand teach… read on

News of December 3, 2019

CAPTCHA! Machines learn to act from humans who don't understand what they know. Blackmarket for Useful Knowledge and Non-Knowledge Nr. 23

Learn more

International Center for Computational Logic

The International Center for Computational Logic (ICCL) is an interdisciplinary center of competence in research and teaching in the field of Computational Logic, with special emphasis on Algebra, Logic, and Formal Methods in Computer Science. It has been founded at TU Dresden in October 2003.

This is the new website of ICCL, first published in October 2014. Some previous content has not been moved yet and can be found under http://computational-logic.org/. The following research groups are already present here on the new site: