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 September 23, 2026

Hannes Straß and Pascal Kettmann win the Harold Boley Distinguished Paper Award

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, Markus Krötzsch, Maximilian Marx
Recovering Explanations from Transformed Rule-Based Ontologies
In Manolis Koubarakis, Maria-Esther Vidal, Axel Polleres, Marieke van Erp, Ernesto Jimenez Ruiz, Oshani Seneviratne, Lora Aroyo, Gianluca Demartini, Reham Alharbi, Roberto Barile, Claudia d'Amato, And Valentina Tamma, eds., Proceedings of the 25th International Semantic Web Conference (ISWC 2026), volume 17127 of LNCS, 197-217, 2026. Springer
Details Download

Nils Küchenmeister, Alex Ivliev, Dörthe Arndt, Markus Krötzsch
Stratified Negation in RDF Rules: A Correct Approach
In Manolis Koubarakis, Maria-Esther Vidal, Axel Polleres, Marieke van Erp, Ernesto Jimenez Ruiz, Oshani Seneviratne, Lora Aroyo, Gianluca Demartini, Reham Alharbi, Roberto Barile, Claudia d'Amato, Valentina Tamma, eds., Proceedings of the 25th International Semantic Web Conference (ISWC 2026), volume 17127 of LNCS, 157–175, 2026. Springer
Details Download

Pascal Kettmann, Hannes Straß, Jesse Heyninck, Jeroen Spaans
Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory
The 10th International Joint Conference on Rules and Reasoning (RuleML+RR 2026), LNCS, to appear. Springer
Details Download

Iosif Apostolakis, Hannes Straß, Johannes P. Wallner
Assumption-Based Argumentation Through the Lens of Approximation Fixpoint Theory
In Katie Atkinson, eds., Proceedings of the Eleventh International Conference on Computational Models of Argument (COMMA), 437–448, 2026. IOS Press
Details Download

View full publication list