International Center for Computational Logic
From International Center for Computational Logic
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
- Automata Theory
- Computational Logic
- Logic Programming and Argumentation
- Verification and formal quantitative Analysis
- Knowledge-Based Systems
Members and Guests
Newest Publications
Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph
Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying
In Floris Geerts, Hung Q. Ngo, Stavros Sintos, eds., Proceedings of the 42nd Symposium on Principles of Database Systems (PODS'23), 291-302, 2023. ACM
Details Download
Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch
Nemo: First Glimpse of a New Rule Engine
Proceedings 39th International Conference on Logic Programming, Electronic Proceedings in Theoretical Computer Science, to appear
Details
Larry Gonzalez, Alex Ivliev, Stephan Mennicke, Markus Krötzsch
Efficient Dependency Analysis for Existential Rules
In Benny Kimelfeld, Maria Vanina Martinez, Renzo Angles, eds., Proceedings of the 15th Alberto Meldenzon International Workshop on Foundations of Data Management (AMW'23). Santiago, Chile, volume 3409 of CEUR Workshop Proceedings, 2023. CEUR-WS.org
Details Download
Lukas Gerlach, David Carral
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report)
KR 2023, to appear
Details
NEWS
February 4, 2023Philipp Hanisch Receives Georg Helm Prize
January 11, 2023Lukas Gerlach awarded with the Lohrmann Medal
November 25, 2022Success for ICCL and TU Dresden: CPEC Funded for Four More Years
October 27, 2022October 24, 2022Wikidata Celebrates 10th Birthday
... further results