Welcome to the

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

Research groups introduced:

Algebraic and Logical Foundations of Computer Science

Christel Baier

The chair of Algebraic and Logical Foundations of Computer Science researches the modeling, specification and verification of reactive systems. The focus is on the formal analysis and synthesis of stochastic systems and on explainability in … read on

News of March 27, 2026

Franz Baader wins Best Paper Award at FoIKS 2026

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

Raimund Dachselt, Lukas Gerlach, Philipp Hanisch, Alex Ivliev, Markus Krötzsch, Maximilian Marx, Julián Méndez
Nemo at v0.10: Explainable Web Rule Reasoning for RDF, SPARQL, and More
In Maribel Acosta, Marieke van Erp, Sebastian Rudolph, Olaf Hartig, Blerina Spahiu, Anisa Rula, Daniel Garijo, Francesco Osborne, eds., Proceedings of the 23rd European Semantic Web Conference (ESWC 2026), LNCS, to appear. Springer
Details Download

Sebastian Rudolph, Kai Sauerwald
Mutual Irreducibility of Revision and Multiple Revision
In Anni-Yasmin Turhan, Jonni Virtema, eds., Foundations of Information and Knowledge Systems – 14th International Symposium (FoIKS 2026), volume 16475 of LNCS, 121-133, 2026. Springer
Details Download

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

View full publication list