Forschungsergebnisse in 2020
Aus International Center for Computational Logic
Neuigkeit vom 22. Juli 2020
Forschungsergebnisse in 2020
Die Mitarbeiter der Gruppen KBS und CL haben kürzlich mehrere Artikel auf namhaften Konferenzen publiziert.
- 34th AAAI Conference on Artificial Intelligence (AAAI)
- Checking Chase Termination over Ontologies of Existential Rules with Equality
David Carral and Jacopo Urbani - 29th International Joint Conference on Artificial Intelligence (IJCAI)
- A Framework for Reasoning about Dynamic Axioms in Description Logics
Bartosz Bednarczyk, Stephane Demri, and Alessio Mansutti - All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs
Bartosz Bednarczyk, Robert Ferens, and Piotr Ostropolski-Nalewaja - Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules
David Carral and Markus Krötzsch - 17th International Conference on Principles of Knowledge Representation and Reasoning (KR)
- Computing Cores for Existential Rules with the Standard Chase and ASP
Markus Krötzsch - Modelling the Polysemy of Spatial Prepositions in Referring Expressions
Adam Richard-Bollans, Lucía Gómez Álvarez, and Anthony Cohn - 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
- Modal Logics with Composition on Finite Forests: Expressivity and Complexity
Bartosz Bednarczyk, Stéphane Demri, Raul Fervari, and Alessio Mansutti
