Picture for Quentin Manière

Quentin Manière

UB, CNRS, Bordeaux INP, LaBRI

Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster

Add code
Jul 30, 2024
Viaarxiv icon

Querying Circumscribed Description Logic Knowledge Bases

Add code
Jun 07, 2023
Viaarxiv icon

Answering Counting Queries over DL-Lite Ontologies

Add code
Sep 02, 2020
Figure 1 for Answering Counting Queries over DL-Lite Ontologies
Figure 2 for Answering Counting Queries over DL-Lite Ontologies
Viaarxiv icon