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


Newest Publications

Johannes Fichte, Sarah Alice Gaggl, Dominik Rusovac
Rushing and Strolling among Answer Sets - Navigation Made Easy
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), to appear
Details
Bartosz Bednarczyk, Emanuel Kieroński
Finite Entailment of Local Queries in the Z family of Description Logics
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), to appear
Details
Bartosz Bednarczyk, Sebastian Rudolph
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2EXPTIME-hard
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), to appear
Details Download
Bartosz Bednarczyk, Maja Orłowska, Anna Pacanowska, Tony Tan
On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics
In Mikołaj Bojańczyk and Chandra Chekuri, eds., Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), volume 213, December 2021. Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
Details Download
View full publication list