Welcome to the

Dresden's new home for knowledge technologies and logic in computer science.
Our groups

Research groups introduced:

Computational Logic

Sebastian Rudolph

The Computational Logic (CL) group is focusing on modeling and reasoning aspects of logic-based knowledge representation. We are interested both in the mathematical and formal foundations of diverse knowledge representation paradigms but also in… read on

News of January 13, 2026

Tim Lyon has joined the editorial board of the Bulletin of the Section of Logic

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, Knowledge Representation, Logic, and Formal Methods in Computer Science. It has been founded at TU Dresden in October 2003. The following research groups are associated with ICCL:

Members and Guests

People at the International Center for Computational Logic

Newest Publications

Lukas Gerlach
The Chase in Lean - Crafting a Formal Library for Existential Rule Research
In Renata Wassermann,Marie-Laure Mugnier,Franz Baader, eds., Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning, volume 23 of Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, to appear
Details Download

Luisa Herrmann, Johannes Osterholzer
Non-Global Parikh Tree Automata
Journal of Automata, Languages and Combinatorics, to appear
Details

Luisa Herrmann, Richard Mörbitz
Global one-counter tree automata
Theoretical Computer Science, 1071, 2026
Details

Jonas Karge
Human-AI Ranking Aggregation
Talk, 2026
Details

View full publication list