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


Newest Publications

Bartosz Bednarczyk, Oskar Fiuk
Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting
Proceedings of the 28th Workshop on Logic, Language, Information and Computation (WOLLIC 2022), to appear
Details Download
Tim Lyon, Jonas Karge
Uniform and Modular Sequent Systems for Description Logics
In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), 2022
Details Download
Bartosz Bednarczyk, Reijo Jaakkola
Towards Model Theory of Ordered Logics: Expressivity and Interpolation
Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, to appear
Details
Bartosz Bednarczyk, Mateusz Urbanczyk
Comonadic Semantics for Description Logics Games
In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), to appear
Details
View full publication list