International Center for Computational Logic
Dresden's new home for knowledge technologies and logic in computer science.
Our groups
Research groups introduced:
Algebra and Discrete Structures
Manuel Bodirsky
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:
- Algebra and Discrete Structures
- Algebraic and Logical Foundations of Computer Science
- Automata Theory
- Computational Logic
- Knowledge-aware Artificial Intelligence
- Logic Programming and Argumentation
- Knowledge-Based Systems
Members and Guests
Newest Publications
Pseudo-Closed Family Verification is NP-Complete (Or: How Claude Helped Tackle Bernhard’s Problem)
In Madalina Croitoru, Domingo López-Rodríguez, Gerd Stumme, eds., The Third International Joint Conference on Conceptual Knowledge Structures (CONCEPTS 2026), volume 16811 of LNCS, to appear. Springer
Details Download
Evaluating a Visual Query Tracer and Builder for Learning Declarative Logic Programming
VIS 2026, to appear
Details Download
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), to appear
Details Download
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, 346--356, 2026. IJCAI Organization
Details Download
NEWS
July 9, 2026Course on Standpoint Logic at ESSAI 2026 by Tim Lyon and Hannes Straß
July 7, 2026Jonas Karge Successfully Defends PhD Thesis on Multi-Agent Belief Management
July 2, 2026Hannes Straß Receives Student Council Teaching Award for "Algorithmic Game Theory"
March 27, 2026Franz Baader wins Best Paper Award at FoIKS 2026
January 13, 2026Tim Lyon has joined the editorial board of the Bulletin of the Section of Logic
… weitere ErgebnisseEVENTS
August 13, 2026August 27, 2026Our Projects
Our Partners
