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


Newest Publications

Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns
Admissibility in Probabilistic Argumentation
Journal of Artificial Intelligence Research, 74:957-1004, June 2022
Details Download
Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams
Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), to appear
Details
Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
ADF - BDD : An ADF Solver Based on Binary Decision Diagrams
Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), to appear
Details
Piotr Ostropolski-Nalewaja, Jerzy Marcinkowski, David Carral, Sebastian Rudolph
A Journey to the Frontiers of Query Rewritability
In Leonid Libkin, Pablo Barceló, eds., Proc. 41st Symposium on Principles of Database Systems (PODS'22), 359-367, June 2022. ACM
Details Download
View full publication list