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 October 20, 2023

Bartosz Bednarczyk wins the best student paper award at JELIA 2023.

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, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch
Nemo: First Glimpse of a New Rule Engine
In Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni, eds., Proceedings 39th International Conference on Logic Programming (ICLP 2023), volume 385 of EPTCS, 333--335, September 2023
Details Download

Bartosz Bednarczyk, Sebastian Rudolph
How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC
Journal of Artificial Intelligence Research, 78:385–458, November 2023
Details Download

Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Technical Report, arXiv.org, volume arXiv:2311.07233, November 2023. Under consideration in Theory and Practice of Logic Programming (TPLP)
Details Download

Elisa Böhl, Sarah Alice Gaggl, Dominik Rusovac
Representative Answer Sets: Collecting Something of Everything
In Kobi Gal, Ann Nowé, Grzegorz J. Nalepa, Roy Fairstein, Roxana Radulescu, eds., Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023), 271--278, September 2023. IOS Press
Details Download

View full publication list