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


Neueste Publikationen

Johannes 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
Bartosz Bednarczyk, Sebastian Rudolph
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2EXPTIME-hard
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), to appear
Details Download
Lukas Gerlach
Chase-Based Computation of Cores for Existential Rules
Diploma Thesis, TU Dresden, September 2021
Details Download
Komplette Publikationsliste anzeigen