PPaperPicks

Marco Calautti

6 papers at tracked venues · 1 at CORE A* · active 20242026

Venues

Frequent coauthors

Papers

  1. Explaining Classification Through Global Sufficient Reasons and its Complexity
    KR 2026 · Marco Calautti
  2. Why(-Not)-Provenance for Datalog with Negation
  3. A Datalog Rewriting Algorithm for Warded Ontologies
  4. Finite Axiomatizability by Disjunctive Existential Rules
    KR 2025 · Marco Calautti
  5. On the Complexity of Global Necessary Reasons to Explain Classification
    KR 2025 · Marco Calautti
  6. Computing the Why-Provenance for Datalog Queries via SAT Solvers
    AAAI 2024 · Marco Calautti