PPaperPicks

Quentin Manière

4 papers at tracked venues · 2 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2KR ×2

Frequent coauthors

Meghyn Bienvenu
×1
Federica Di Stefano
×1
Magdalena Ortiz
×1
Mantas Simkus
×1
Marcin Przybylko
×1
Carsten Lutz
×1

Papers

  1. Data Complexity of Querying Description Logic Knowledge Bases Under Cost-Based Semantics
    AAAI 2026 ·
    Meghyn Bienvenu
    , Quentin Manière
  2. Minimal Model Reasoning in Description Logics: Don't Try This at Home!
    KR 2025 ·
    Federica Di Stefano
    , Quentin Manière,
    Magdalena Ortiz
    ,
    Mantas Simkus
  3. Spectra of Cardinality Queries over Description Logic Knowledge Bases
    AAAI 2025 · Quentin Manière,
    Marcin Przybylko
  4. Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
    KR 2024 ·
    Carsten Lutz
    , Quentin Manière