Quentin Manière

Transforming coffee into:

About

Postdoctoral researcher

I'm a postdoctoral researcher at the knowledge representation group in Leipzig University and a member of the center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI).

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 with Ana Ozaki, Bartosz Bednarczyk, and Patrick Koopmann.

  • Contact   quentin.maniere@uni-leipzig.de
  • Offices     P818 (at the Uni), B05.07 (at ScaDS)
  • Adress     Universität Leipzig
    Data Science Zentrum
    Internes Postfach: 212104
    04081 Leipzig

Publications

International Conferences

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

AAAI 2025 - Main Track

To appear at AAAI 2025. Long version available on arXiv or directly here.

C. Lutz and 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 and Q. Manière. A Gentle Introduction to the Stable Model Semantics for Logic Programs

KR 2024 - Video Track

Best Video Award and People's Choice Award

Available on YouTube (15 minutes long).

C. Lutz, Q. Manière, and 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, and 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, and 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, and 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, and M. Thomazo. Cardinality Queries over DL-Lite Ontologies (Extended Abstract)

BDA 2021

Proceedings available here (or try this PDF).

International Workshops

Q. Manière and M. Przybyłko. Spectra of Cardinality Queries over Description Logic Knowledge Bases (Extended Abstract)

DL 2024

PDF available here (or try this PDF).

C. Lutz, Q. Manière, and R. Nolte. Querying Circumscribed Description Logic Knowledge Bases (Extended Abstract)

DL 2023

PDF available here (or try this PDF).

M. Bienvenu, Q. Manière, and M. Thomazo. Complexity Landscape for Counting Queries (Extended Abstract)

DL 2022

PDF available here (or try this PDF).

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

DL 2021

Best Student Contribution Award

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

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

DL 2021

PDF available here (or try this PDF).

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

DL 2020

PDF available here (or try this PDF).

Ph.D. dissertation

Q. Manière. Counting Queries in Ontology-Based Data Access

University of Bordeaux, France, 2022

“Prix de thèse BDA 2023”

Under the direction of M. Bienvenu and M. Thomazo. PDF and BibTeX available here (or try this PDF and this BibTeX).

Teaching

Ontologies and description logics

Enseirb-Matmeca, 3rd year (M2), 2021-2022

Computer networking

University of Bordeaux, L2, 2021-2022

Introduction to computer science

University of Bordeaux, L1, 2021-2022

Database management systems

Enseirb-Matmeca, 3rd year (M2), 2020-2021

Functional programming

Enseirb-Matmeca, 2nd year (M1), 2020-2021

Logic and proofs

Enseirb-Matmeca, 1st year (L3), 2020-2021

Cryptography

Enseirb-Matmeca, 2nd year (M1), 2019-2020

Object-oriented programming

Enseirb-Matmeca, 2nd year (M1), 2019-2020

Logic and proofs

Enseirb-Matmeca, 1st year (L3), 2019-2020

Education & Academic positions

Post-Doc

2022 - Today

Leipzig University, Leipzig, Germany

Ph.D. in Computer Science

2019 - 2022

University of Bordeaux, Talence, France

  • Member of the RATIO team (Reasoning with data, knowledge, and constraints).
  • Member of the CQFD project (Complex ontological queries over federated and heterogeneous data)

Master in Mathematical Logic and Foundations of Computer Science

2018 - 2019

University Paris-Diderot (Paris VII), Paris, France

Master in Mathematics and “Agrégation de mathématiques”

2017 - 2018

University Paris-Sud (Paris XI), Orsay, France