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


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