International Center for Computational Logic

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 July 9, 2026

Course on Standpoint Logic at ESSAI 2026 by Tim Lyon and Hannes Straß

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:

• 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

People at the International Center for Computational Logic

Newest Publications

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

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

Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
Standpoint Logics with Defeasible Beliefs
In Ana Ozaki, Nico Potyka, eds., Proceedings of the 24th International Workshop on Non-Monotonic Reasoning (NMR 2025), CEUR, to appear
Details Download

Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
ACM Transactions on Computational Logic, 27(2):8:1-8:42, 2026
Details Download

View full publication list

NEWS

July 9, 2026

Course on Standpoint Logic at ESSAI 2026 by Tim Lyon and Hannes Straß

July 7, 2026

Jonas Karge Successfully Defends PhD Thesis on Multi-Agent Belief Management

July 2, 2026

Hannes Straß Receives Student Council Teaching Award for "Algorithmic Game Theory"

March 27, 2026

Franz Baader wins Best Paper Award at FoIKS 2026

January 13, 2026

Tim Lyon has joined the editorial board of the Bulletin of the Section of Logic

… weitere Ergebnisse

iCal

EVENTS

July 9, 2026

Talk: ProofTeller: Exposing Recency Bias in LLM Reasoning and Its Side Effects on Communication.

July 30, 2026

Talk: TBA

August 6, 2026

Talk: TBA

August 27, 2026

Talk: TBA

Our Projects

Our Partners