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
DBLP profile ↗ORCID search ↗
×1
Federica Di Stefano
DBLP profile ↗ORCID search ↗
×1
Carsten Lutz
DBLP profile ↗ORCID search ↗
×1

Papers

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