1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.AI2024
Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
Carsten Lutz, Quentin Manière
We study extensions of expressive decidable fragments of first-order logic with circumscription, in particular the two-variable fragment FO, its extension C with counting q…
cs.AI2023
Querying Circumscribed Description Logic Knowledge Bases
Carsten Lutz, Quentin Manière, Robin Nolte
Circumscription is one of the main approaches for defining non-monotonic description logics (DLs). While the decidability and complexity of traditional reasoning tasks such as sati…
cs.LO2020★ 1 cited
Answering Counting Queries over DL-Lite Ontologies
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
Ontology-mediated query answering (OMQA) is a promising approach to data access and integration that has been actively studied in the knowledge representation and database communit…