Quentin Manière

About

Postdoctoral researcher

I'm a postdoctoral researcher in the BOREAL team at Inria, currently based in Montpellier, France. You might have seen me at Leipzig University, Germany, where I spent 3-years as a post-doc after completing my PhD in Bordeaux.

My research focuses on knowledge representation and reasoning. I'm especially interested in ontology-mediated query answering, description logics ontologies and circumscription.

Since September 2024, I have been co-organizing the Description Logics Seminar.

Contact quentin.maniere@inria.fr
Adress Bâtiment 5 - Campus Saint Priest
860 rue de St Priest
34095 Montpellier cedex 5
France

Publications

International Conferences

M. Bienvenu, Q. Manière. Data Complexity of Querying Description Logic Knowledge Bases under Cost-Based Semantics

AAAI 2026 - Main Track

To appear. Long version available on arXiv or directly here.

F. Di Stefano, Q. Manière, M. Ortiz, M. Šimkus. Minimal Model Reasoning in Description Logics: Don't Try This at Home!

PDF and BibTeX available here (or try this PDF and this BibTeX). Long version available on arXiv or directly here.

M. Berthold, M. Großer, S. Hosemann, Q. Manière, M. Schönherr, L. Schulze. Waiting for the Chase to Terminate: Have You Tried This Other Variant?

Available on YouTube and Zenodo (15 minutes long). Python/Manim code to generate the video available on GitHub.

Q. Manière, M. Przybyłko. Spectra of Cardinality Queries over Description Logic Knowledge Bases

AAAI 2025 - Main Track

PDF and BibTex available here (or try this PDF and this BibTeX). Long version available on arXiv or directly here.

C. Lutz, Q. Manière. Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster

KR 2024 - Main Track

PDF and BibTeX available here (or try this PDF and this BibTeX). Long version available on arXiv or directly here.

M. Berthold, Q. Manière. A Gentle Introduction to the Stable Model Semantics for Logic Programs

Available on YouTube (15 minutes long).

C. Lutz, Q. Manière, R. Nolte. Querying Circumscribed Description Logic Knowledge Bases

KR 2023 - Main Track

PDF and BibTeX available here (or try this PDF and this BibTeX). Long version available on arXiv or directly here.

M. Bienvenu, Q. Manière, M. Thomazo. Counting Queries over ELHI_⊥ Ontologies

KR 2022 - Main Track

PDF and BibTeX available here (or try this PDF and this BibTeX). Long version available here.

M. Bienvenu, Q. Manière, M. Thomazo. Cardinality Queries over DL-Lite Ontologies

IJCAI 2021 - Main Track

PDF and BibTeX available here (or try this PDF and this BibTeX). Long version available here.

M. Bienvenu, Q. Manière, M. Thomazo. Answering Counting Queries over DL-Lite Ontologies

IJCAI 2020 - Main Track

PDF and BibTeX available here (or try this PDF and this BibTeX). Long version available here.

National Conferences

M. Bienvenu, Q. Manière, M. Thomazo. Cardinality Queries over DL-Lite Ontologies (Extended Abstract)

BDA 2021

Proceedings available here (or try this PDF).