Quentin Manière

4 papers · 2020–2026 · 2 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (2) 🏃 Academic Marathon (5) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (14) 📈 Trend Setter

Conferences

AAAI (2) IJCAI (2)

Top co-authors

Meghyn Bienvenu (3) Michaël Thomazo (2) Marcin Przybyłko (1)

Keywords

description logic (4) knowledge base (3) query answering (3) data complexity (1) finite model (1) cardinality query (1) finite model reasoning (1) alcif ontology (1) counting queries (1) knowledge representation (1) cost-based semantics (1) automated reasoning (1) conjunctive query (1)

Papers

Data Complexity of Querying Description Logic Knowledge Bases Under Cost-Based Semantics AAAI 2026

Spectra of Cardinality Queries over Description Logic Knowledge Bases AAAI 2025

Cardinality Queries over DL-Lite Ontologies IJCAI 2021

Answering Counting Queries over DL-Lite Ontologies IJCAI 2020