International Center for Computational Logic
From International Center for Computational Logic
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
International Center for Computational Logic
...explainability by design
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
Sergei Obiedkov, Barış Sertkaya
AFCA: Searching for Complete Extensions via Enumeration of a Closure System
In Iosif Apostolakis, Andrei Popesci, Johannes P. Wallner, eds., Solver and Benchmark Descriptions of ICCMA 2025: Sixth International Competition on Computational Models of Argumentation, 11–12, 2026
Details Download
Tim Lyon, Piotr Ostropolski-Nalewaja
Foundations for an Abstract Proof Theory in the Context of Horn Rules
ACM Transactions on Computational Logic, to appear
Details
Jonas Karge, Roy Ferguson, Daniel Grimaldi, Jonas Haldimann, Ruvarashe Madzime, Thomas Meyer
First Steps Towards Human-AI Ranking Aggregation
Joint Workshop on Statistics and Knowledge Integration for Logic, Learning, Ethical Decisions, and LLMs (SKILLED-LLMs'26), to appear
Details Download
Alex Ivliev, Markus Krötzsch, Maximilian Marx
SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge Graphs
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), Part I, volume 16549 of LNCS, 518-536, 2026. Springer
Details Download
NEWS
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
November 27, 2025Best demo award for GPTKB at ISWC
October 23, 2025Dörthe Arndt wins Rule Challenge Best Paper Award at RuleML+RR 2025
September 30, 2025Filippo De Bortoli wins Best Student Paper Award at FroCoS 2025
... further resultsOur Projects
Our Partners
