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


Neueste Publikationen

Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke
Answering Queries with Negation over Existential Rules
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), to appear
Details Download
Maximilian Marx, Markus Krötzsch
Tuple-Generating Dependencies Capture Complex Values
In Dan Olteanu, Nils Vortmeier, eds., Proceedings of the 25th International Conference on Database Theory (ICDT 2022), volume 220 of LIPIcs, 19:1--19:20, to appear. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Johannes Klaus Fichte, Sarah Alice Gaggl, Dominik Rusovac
Rushing and Strolling among Answer Sets - Navigation Made Easy
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), to appear
Details
Bartosz Bednarczyk, Emanuel Kieroński
Finite Entailment of Local Queries in the Z family of Description Logics
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), to appear
Details
Komplette Publikationsliste anzeigen