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


Neueste Publikationen

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
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass
On the Decomposition of ADFs and the Complexity of Naive-based Semantics
Journal of Artificial Intelligence Research, 70:1-64, January 2021
Details Download
Xiaoyu Yin, Dagmar Gromann, Sebastian Rudolph
Neural Machine Translating from Natural Language to SPARQL
Future Generation Computer Systems, 117:510-519, 2021
Details Download
Komplette Publikationsliste anzeigen