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


Newest Publications

Maximilian Marx, Markus Krötzsch
Tuple-Generating Dependencies Capture Complex Values
In Dan Olteanu, Nils Vortmeier, eds., Proceedings of the 25th International Conference on Database Theory (ICDT 2022), volume 220 of LIPIcs, 19:1--19:20, to appear. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke
Answering Queries with Negation over Existential Rules
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), to appear
Details
Johannes Klaus 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
View full publication list