PPaperPicks

Andreas Pieris

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

DBLP profile ↗ORCID search ↗

Venues

KR ×2AAAI ×1ICDT ×1

Frequent coauthors

Marco Calautti
DBLP profile ↗ORCID search ↗
×2
Georg Gottlob
DBLP profile ↗ORCID search ↗
×1
Bart Bogaerts
DBLP profile ↗ORCID search ↗
×1

Papers

  1. First-Order Rewritability of Rule-Based Ontology Mediated Queries with Negation
    ICDT 2026 ·
    Georg Gottlob
    DBLP profile ↗ORCID search ↗
  2. Why(-Not)-Provenance for Datalog with Negation
    KR 2026 ·
    Bart Bogaerts
    DBLP profile ↗ORCID search ↗
  3. Finite Axiomatizability by Disjunctive Existential Rules
    KR 2025 ·
    Marco Calautti
    DBLP profile ↗ORCID search ↗
  4. Computing the Why-Provenance for Datalog Queries via SAT Solvers
    AAAI 2024 ·
    Marco Calautti
    DBLP profile ↗ORCID search ↗