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


Neueste Publikationen

Bartosz Bednarczyk
Statistical EL is ExpTime-complete
Information Processing Letters, to appear
Details Download
Bartosz Bednarczyk, Jakub Michaliszyn
"Most of" leads to undecidability: Failure of adding frequencies to LTL
Proceedings of the 24th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2021), to appear
Details Download
Bartosz Bednarczyk
Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment
Proceedings of the 17th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2021), to appear
Details
Efthymia Tsamoura, David Carral, Enrico Malizia, Jacopo Urbani
Materializing Knowledge Bases via Trigger Graphs
Proceedings of the 47th International Conference on Very Large Databases, VLDB 2021, to appear
Details Download
Komplette Publikationsliste anzeigen