International Center for Computational Logic/en

Welcome to the

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

Research groups introduced:

Knowledge-Based Systems

Markus Krötzsch

The research group Knowledge-Based Systems is concerned with methods for the intelligent management and processing of information in computer systems. This includes research questions from knowledge representation, reasoning and formal logic, bu… read on

News of January 20, 2025

ICCL Researchers Contribute to Lean Standard Library

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

Jonas Karge
When Diversity in Voting Trumps Ability
Episteme, to appear
Details

Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft
Solving Robust Markov Decision Processes: Generic, Reliable, Efficient
In Toby Walsh, Julie Shah, Zico Kolter, eds., Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence, volume 39 of 25, 26631-26641, April 2025. AAAI Press
Details Download

Lukas Gerlach
Formalizing Possibly Infinite Trees of Finite Degree
Talk at Workshop: Leaning In!, March 2025
Details

Thomas Feller, Tim Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
Decidability of Querying First-Order Theories via Countermodels of Finite Width
Logical Methods in Computer Science, 21(2):7:1-7:35, April 2025
Details Download

View full publication list

NEWS

January 20, 2025

ICCL Researchers Contribute to Lean Standard Library

November 20, 2024

Jonas Karge Wins Student Best Paper Award at PRIMA24

November 5, 2024

Best Paper Award for Nemo

July 1, 2024

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

June 13, 2024

Markus Krötzsch Wins 2024 Teaching Award

... further results

iCal

EVENTS

Our Projects

Our Partners