conftrace_

Quentin Manière

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

Achievements

Jump to papers ↓

+1 more ↓

🌍 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