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 Ramona BehlingPortrait Sebastian RudolphPortrait Franz BaaderPortrait Dominik RusovacPortrait Simon KnäuerPortrait Stefan EllmauthalerPortrait Markus KrötzschPortrait Manuel BodirskyPortrait Satyadharma TirtarasaPortrait Anni-Yasmin TurhanPortrait Christel BaierPortrait Stefan BorgwardtPortrait Matthias MeißnerPortrait Lucía Gómez ÁlvarezPortrait Sergei ObiedkovPortrait Karina AdlerPortrait Rajab AghamovPortrait Kerstin AchtruthPortrait Elisa BöhlPortrait Dörthe ArndtPortrait Piotr Ostropolski-NalewajaPortrait Hannes StraßPortrait Philipp HanischPortrait Jonas KargePortrait Luisa HerrmannPortrait Kati DomannPortrait Sarah Alice GagglPortrait Larry GonzálezPortrait Stephan MennickePortrait Lukas GerlachPortrait Piotr GorczycaPortrait Alex IvlievPortrait Bartosz BednarczykPortrait Martin DillerPortrait Sascha KlüppelholzPortrait Pascal KettmannPortrait Tim LyonPortrait Knut BerlingPortrait Maximilian MarxPortrait Filippo De BortoliPortrait Sandy Seifarth


Newest Publications

Bartosz Bednarczyk
Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features
In Sarah Alice Gaggl, Maria Vanina Martinez, Magdalena Ortiz, eds., Proceedings of the 18th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2023), Logics in Artificial Intelligence, 289--305, to appear. Springer International Publishing
Details Download
Bartosz Bednarczyk, Sebastian Rudolph
How to Tell Easy from Hard: Complexity of Conjunctive Query Entailment in Extensions of ALC
Journal of Artificial Intelligence Research, to appear
Details Download
Tim Lyon, Sebastian Rudolph
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets
In Sarah Alice Gaggl, Maria Vanina Martinez, Magdalena Ortiz, eds., Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), volume 14281 of Lecture Notes in Artificial Intelligence, 369-384, 2023. Springer
Details Download
Jonas Karge
Voting for Bins: Integrating Imprecise Probabilistic Beliefs into the Condorcet Jury Theorem
Proceedings of the The 2nd International Workshop on Knowledge Diversity (KoDis23), to appear
Details Download
View full publication list