Quentin Manière

22 papers A* 8Journal 6Unranked 7
YearRankTypeTitle / Venue / Authors
2026 A* conf
Data Complexity of Querying Description Logic Knowledge Bases Under Cost-Based Semantics.
AAAI
Meghyn Bienvenu, Quentin Manière
2025 J jnl
Data Complexity of Querying Description Logic Knowledge Bases under Cost-Based Semantics.
CoRR
Meghyn Bienvenu, Quentin Manière
2025 A* conf
Minimal Model Reasoning in Description Logics: Don't Try This at Home!
KR
Federica Di Stefano, Quentin Manière, Magdalena Ortiz, Mantas Simkus
2025 J jnl
Minimal Model Reasoning in Description Logics: Don't Try This at Home!
CoRR
Federica Di Stefano, Quentin Manière, Magdalena Ortiz, Mantas Simkus
2025 — conf
Minimal Model Reasoning in Description Logics: Don't Try This at Home! (Extended Abstract).
DL
Federica Di Stefano, Quentin Manière, Magdalena Ortiz, Mantas Simkus
2025 A* conf
Spectra of Cardinality Queries over Description Logic Knowledge Bases.
AAAI
Quentin Manière, Marcin Przybylko
2024 A* conf
Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster.
KR
Carsten Lutz, Quentin Manière
2024 J jnl
Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster.
CoRR
Carsten Lutz, Quentin Manière
2024 — conf
Spectra of Cardinality Queries over Description Logic Knowledge Bases (Extended Abstract).
Description Logics
Quentin Manière, Marcin Przybylko
2024 J jnl
Spectra of Cardinality Queries over Description Logic Knowledge Bases.
CoRR
Quentin Manière, Marcin Przybylko
2023 — conf
Querying Circumscribed Description Logic Knowledge Bases (Extended Abstract).
Description Logics
Carsten Lutz, Quentin Manière, Robin Nolte
2023 A* conf
Querying Circumscribed Description Logic Knowledge Bases.
KR
Carsten Lutz, Quentin Manière, Robin Nolte
2023 J jnl
Querying Circumscribed Description Logic Knowledge Bases.
CoRR
Carsten Lutz, Quentin Manière, Robin Nolte
2022 — conf
Complexity Landscape for Counting Queries (Extended Abstract).
Description Logics
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
2022 A* conf
Counting Queries over ELHI⊥ Ontologies.
KR
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
2022 — —
Counting queries in ontology-based data access. (Requêtes de comptage pour l'accès aux données en présence d'ontologies).
Quentin Manière
2021 — conf
Cardinality Queries over DL-Lite Ontologies (Extended abstract).
Description Logics
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
2021 A* conf
Cardinality Queries over DL-Lite Ontologies.
IJCAI
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
2021 — conf
Counting Queries over ELHI⊥ Ontologies.
Description Logics
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
2020 — conf
Answering Counting Queries over DL-Lite Ontologies (Extended Abstract).
Description Logics
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
2020 A* conf
Answering Counting Queries over DL-Lite Ontologies.
IJCAI
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo
2020 J jnl
Answering Counting Queries over DL-Lite Ontologies.
CoRR
Meghyn Bienvenu, Quentin Manière, Michaël Thomazo