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


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
Bartosz Bednarczyk, Maja Orłowska, Anna Pacanowska, Tony Tan
On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics
In Mikołaj Bojańczyk and Chandra Chekuri, eds., Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), volume 213, December 2021. Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
Details Download
Komplette Publikationsliste anzeigen