International Center for Computational Logic

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche


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 Satyadharma TirtarasaPortrait Simon KnäuerPortrait Kati DomannPortrait Stephan MennickePortrait Piotr Ostropolski-NalewajaPortrait Markus KrötzschPortrait Elisa BöhlPortrait Ramona BehlingPortrait Faiq Miftakhul FalakhPortrait Dominik RusovacPortrait Maximilian MarxPortrait Dörthe ArndtPortrait Alex IvlievPortrait Lucía Gómez ÁlvarezPortrait Lukas GerlachPortrait Stefan BorgwardtPortrait Hannes StraßPortrait Luisa HerrmannPortrait Christel BaierPortrait Piotr GorczycaPortrait Sarah Alice GagglPortrait Franz BaaderPortrait Kerstin AchtruthPortrait Philipp HanischPortrait Anni-Yasmin TurhanPortrait Thomas FellerPortrait Manuel BodirskyPortrait Sebastian RudolphPortrait Irina DragostePortrait Sascha KlüppelholzPortrait Tim LyonPortrait Stefan EllmauthalerPortrait Ali ElhalawatiPortrait Patrick KoopmannPortrait Jonas KargePortrait Larry GonzálezPortrait Martin DillerPortrait Karina AdlerPortrait Bartosz BednarczykPortrait Sandy Seifarth


Newest Publications

Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph
Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying
Proceedings of the 42nd Symposium on Principles of Database Systems (PODS'23), to appear
Details Download
Thomas Feller, Tim Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph
Finite-Cliquewidth Sets of Existential Rules
Proceedings of the 26th International Conference on Database Theory (ICDT 2023), to appear
Details Download
Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph
A Journey to the Frontiers of Query Rewritability
In Leonid Libkin, Pablo Barceló, eds., Proceedings of the 41st Symposium on Principles of Database Systems (PODS'22), 359-367, June 2022. ACM
Details Download
View full publication list