PPaperPicks

Giuseppe Mazzotta

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

DBLP profile ↗ORCID search ↗

Venues

KR ×4AAAI ×2ECAI ×1IJCAI ×1

Frequent coauthors

Francesco Ricca
×7
Damiano Azzolini
×4
Fabrizio Riguzzi
×3
Andrea Cuteri
×1
Antonio Ielo
×1
Rafael Peñaloza
×1
Meghyn Bienvenu
×1
Camille Bourgaux
×1
Robin Jean
×1
Carmine Dodaro
×1

Papers

  1. 2-ASP(Q) Solving Based on CEGAR
    AAAI 2026 ·
    Andrea Cuteri
    , Giuseppe Mazzotta,
    Francesco Ricca
  2. Enumerating Minimal Unsatisfiable Cores of LTLf Formulae
    AAAI 2026 ·
    Antonio Ielo
    , Giuseppe Mazzotta,
    Rafael Peñaloza
    ,
    Francesco Ricca
  3. Probabilistic Reasoning within Answer Set Programming with Quantifiers
    KR 2026 ·
    Damiano Azzolini
    , Giuseppe Mazzotta,
    Francesco Ricca
  4. Using ASP(Q) to Handle Inconsistent Prioritized Data
    KR 2026 ·
    Meghyn Bienvenu
    ,
    Camille Bourgaux
    ,
    Robin Jean
    , Giuseppe Mazzotta
  5. A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming
    KR 2025 ·
    Damiano Azzolini
    , Giuseppe Mazzotta,
    Francesco Ricca
    ,
    Fabrizio Riguzzi
  6. An Algebraic View of MAP Inference in Probabilistic Answer Set Programs
    ECAI 2025 ·
    Damiano Azzolini
    , Giuseppe Mazzotta,
    Francesco Ricca
    ,
    Fabrizio Riguzzi
  7. Most Probable Explanation in Probabilistic Answer Set Programming
    IJCAI 2025 ·
    Damiano Azzolini
    , Giuseppe Mazzotta,
    Francesco Ricca
    ,
    Fabrizio Riguzzi
  8. Blending Grounding and Compilation for Efficient ASP Solving
    KR 2024 ·
    Carmine Dodaro
    , Giuseppe Mazzotta,
    Francesco Ricca