Welcome to the

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

Research groups introduced:

Knowledge-aware Artificial Intelligence

Simon Razniewski

The KAAI group develops develops novel methods for generating, extracting and consolidating knowledge from, for and with text, language models (LLMs) and knowledge bases (KBs). Further information can be found on the [https://scads.ai/about-us/… read on

News of November 27, 2025

Best demo award for GPTKB at ISWC

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

Philipp Hanisch, Markus Krötzsch
Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
Proceedings of the 29th International Conference on Database Theory, LIPIcs, to appear
Details

Michelle Kornherr, Augusto B. Correa, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac, David Speck, Johannes K. Fichte, Daniel Gnad
Graphical Navigation in Solution Spaces using PlanPilot
System Demonstrations and Exhibits program at ICAPS 2025 (The 35th International Conference on Automated Planning and Scheduling), November 2025
Details Download

Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
ACM Transactions on Computational Logic, to appear
Details Download

Markus Krötzsch
Modern Datalog: Concepts, Methods, Applications
In Alessandro Artale, Meghyn Bienvenu, Yazmı́n Ibáñez Garcı́a, Filip Murlak, eds., Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools (RW 2024 & RW 2025), volume 138 of OASIcs, 2025. Dagstuhl Publishing
Details Download

View full publication list