Research Ouput on 2020
From International Center for Computational Logic
News of July 22, 2020
Research Ouput on 2020
Wondering what the members of the KBS and CL research groups have been up to this year?
If so, check out this list with all of our recently published papers:
- 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
