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


Newest Publications

Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch
Nemo: First Glimpse of a New Rule Engine
In Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni, eds., Proceedings 39th International Conference on Logic Programming (ICLP 2023), volume 385 of EPTCS, 333--335, September 2023
Details Download
Bartosz Bednarczyk, Sebastian Rudolph
How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC
Journal of Artificial Intelligence Research, 78:385–458, November 2023
Details Download
Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac
IASCAR: Incremental Answer Set Counting by Anytime Refinement
Technical Report, arXiv.org, volume arXiv:2311.07233, November 2023. Under consideration in Theory and Practice of Logic Programming (TPLP)
Details Download
Elisa Böhl, Sarah Alice Gaggl, Dominik Rusovac
Representative Answer Sets: Collecting Something of Everything
In Kobi Gal, Ann Nowé, Grzegorz J. Nalepa, Roy Fairstein, Roxana Radulescu, eds., Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023), 271--278, September 2023. IOS Press
Details Download
View full publication list