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


Neueste Publikationen

Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer
Admissibility in Probabilistic Argumentation
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 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, 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
Komplette Publikationsliste anzeigen