Giuseppe Mazzotta

Venues

Frequent coauthors

Papers

1. 2-ASP(Q) Solving Based on CEGAR
   AAAI 2026 ·

   Andrea Cuteri

   DBLP profile ↗ORCID search ↗
2. Enumerating Minimal Unsatisfiable Cores of LTLf Formulae
   AAAI 2026 ·

   Antonio Ielo

   DBLP profile ↗ORCID search ↗
3. Probabilistic Reasoning within Answer Set Programming with Quantifiers
   KR 2026 ·

   Damiano Azzolini

   DBLP profile ↗ORCID search ↗
4. Using ASP(Q) to Handle Inconsistent Prioritized Data
   KR 2026 ·

   Meghyn Bienvenu

   DBLP profile ↗ORCID search ↗
5. A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming
   KR 2025 ·

   Damiano Azzolini

   DBLP profile ↗ORCID search ↗
6. An Algebraic View of MAP Inference in Probabilistic Answer Set Programs
   ECAI 2025 ·

   Damiano Azzolini

   DBLP profile ↗ORCID search ↗
7. Most Probable Explanation in Probabilistic Answer Set Programming
   IJCAI 2025 ·

   Damiano Azzolini

   DBLP profile ↗ORCID search ↗
8. Blending Grounding and Compilation for Efficient ASP Solving
   KR 2024 ·

   Carmine Dodaro

   DBLP profile ↗ORCID search ↗