International Center for Computational Logic

From International Center for Computational Logic


International Center for Computational Logic

EbD-rightmargin.png

                  

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

Portrait Jonas KargePortrait Manuel BodirskyPortrait Karina AdlerPortrait Elisa BöhlPortrait Stephan MennickePortrait Maximilian MarxPortrait Lukas GerlachPortrait Franz BaaderPortrait Knut BerlingPortrait Sarah Alice GagglPortrait Pascal KettmannPortrait Markus KrötzschPortrait Satyadharma TirtarasaPortrait Christel BaierPortrait Kerstin AchtruthPortrait Stefan EllmauthalerPortrait Piotr GorczycaPortrait Larry GonzálezPortrait Philipp HanischPortrait Luisa HerrmannPortrait Ramona BehlingPortrait Martin DillerPortrait Anni-Yasmin TurhanPortrait Simon KnäuerPortrait Sandy SeifarthPortrait Alex IvlievPortrait Sebastian RudolphPortrait Dörthe ArndtPortrait Sascha KlüppelholzPortrait Stefan BorgwardtPortrait Hannes StraßPortrait Kati DomannPortrait Piotr Ostropolski-NalewajaPortrait Dominik RusovacPortrait Matthias MeißnerPortrait Rajab AghamovPortrait Tim LyonPortrait Lucía Gómez ÁlvarezPortrait Bartosz Bednarczyk


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
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
Thomas Feller, Tim Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
Finite-Cliquewidth Sets of Existential Rules – Toward a General Criterion for Decidable yet Highly Expressive Querying
In Geerts, Floris and Vandevoort, Brecht, eds., Proceedings of the 26th International Conference on Database Theory (ICDT 2023), volume 255 of Leibniz International Proceedings in Informatics (LIPIcs), 18:1-18:18, March 2023. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
View full publication list