Project type
Now showing items 1-6 of 6
-
Containment of Regular Path Queries Under Path Constraints
27th International Conference on Database Theory (ICDT 2024), Paestum, 25-03-2024, Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024Communication dans un congrès avec actes -
Mixed-World Reasoning with Existential Rules under Active-Domain Semantics
Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI), Macao, 08-2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI)Communication dans un congrès avec actesfulltext -
Oblivious and Semi-Oblivious Boundedness for Existential Rules
15-06-2020, LIRMM (UM, CNRS)Rapport de recherchefulltext -
Oblivious and Semi-Oblivious Boundedness for Existential Rules
IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Macao, 10-08-2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 08-2019Communication dans un congrès avec actesfulltext -
On Distances between Words with Parameters
CPM 2023, Champs-sur-Marne, Marne-la-Vallée, 26-06-2023, Proceedings of the 34th Annual Symposium on Combinatorial Pattern Matching, LIPIcs, Schloss Dagstuhl, 2023Communication dans un congrès avec actesfulltext -
Revisiting Semiring Provenance for Datalog
KR 2022 - 19th International Conference on Principles of Knowledge Representation and Reasoning, Haifa, 31-07-2022, Proceedings of the 19th International Conference on Principles of Knowledge Representation and ReasoningCommunication dans un congrès avec actesfulltext