International Center for Computational Logic

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche


International Center for Computational Logic

EbD-rightmargin.png

                  

Das International Center for Computational Logic (ICCL) ist ein internationales Kompetenzzentrum für Forschung und Lehre im Bereich Computational Logic, mit besonderer Betonung von Algebra, Wissensrepräsentation, Logik und Formalen Methoden in der Informatik. Es wurde im Oktober 2003 an der TU Dresden gegründet. Die folgenden Forschungsgruppen sind mit dem ICCL assoziiert:


Mitarbeiter und Gäste

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


Neueste Publikationen

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
Komplette Publikationsliste anzeigen