Welcome to the

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

Research groups introduced:

Automata Theory

Franz Baader

Prof. Dr.-Ing. Franz Baader was appointed to the chair of automata theory in 2002. His chair offers basic and in-depth courses for various degree programmes, and conducts research in the areas of deduction, knowledge representation, as well as c… read on

News of July 1, 2024

CACM blog article on work-family balance in academia by ICCL researcher Luisa Herrmann

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

Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, Markus Krötzsch
Nemo: A Scalable and Versatile Datalog Engine
Proceedings of the 5th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2024), CEUR Workshop Proceedings, to appear. CEUR-WS.org
Details Download

Hannes Strass
What Can Approximation Fixpoint Theory Do For (Abstract) Argumentation?
Tutorial at SSA, September 2024
Details

Philipp Hanisch, Markus Krötzsch
Chase Termination Beyond Polynomial Time
Proc. ACM Manag. Data, 2(2):93, May 2024
Details Download

Nils Küchenmeister, Alex Ivliev, Markus Krötzsch
Towards Mass Spectrum Analysis with ASP
In Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez, eds., Logic Programming and Nonmonotonic Reasoning, volume 15245 of Lecture Notes in Computer Science, to appear. Springer
Details Download

View full publication list