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


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
View full publication list