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


Newest Publications

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
Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
Semantic Characterizations of AGM Revision for Tarskian Logics
Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), to appear. Springer
Details Download
Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, Alessio Mansutti
On Composing Finite Forests with Modal Logics
ACM Transactions on Computational Logic, to appear
Details
Raimund Dachselt, Sarah Alice Gaggl, Markus Krötzsch, Julián Méndez, Dominik Rusovac, Mei Yang
NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces
In Francesca Toni, eds., Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), volume 220146 of FAIA, 116-127, September 2022. IOS Press
Details Download
View full publication list