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


Neueste Publikationen

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, volume 14, 943-956, 2021
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), May 2021. Springer International Publishing
Details Download
Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
Datalog-Expressibility for Monadic and Guarded Second-Order Logic
In Nikhil Bansal, James Worrell, eds., Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP), LIPIcs, to appear. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Emanuel Kieroński, Sebastian Rudolph
Finite Model Theory of the Triguarded Fragment and Related Logics
Proceedings of the 36th Annual Symposium on Logic in Computer Science (LICS 2021), to appear
Details Download
Komplette Publikationsliste anzeigen