Giuseppe Mazzotta

31 papers A* 6A 2C 2Journal 7Unranked 14
YearRankTypeTitle / Venue / Authors
2026 A* conf
2-ASP(Q) Solving Based on CEGAR.
AAAI
Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca
2026 A* conf
Enumerating Minimal Unsatisfiable Cores of LTLf Formulae.
AAAI
Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca
2026 C conf
Solving Hard Combinatorial Optimization Problems with PyQASP.
PADL
Damiano Azzolini, Nicola Leone, Giuseppe Mazzotta, Francesco Ricca
2025 A* conf
A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming.
KR
Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi
2025 — conf
ASP Essentials: Modelling and Efficient Solving (Invited Paper).
RW
Giuseppe Mazzotta, Francesco Ricca
2025 A conf
An Algebraic View of MAP Inference in Probabilistic Answer Set Programs.
ECAI
Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi
2025 — conf
Enhancing Compilation-based ASP Solving with Postponed Atom Discovery.
ICLP Workshops
Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca
2025 — conf
Lazy Atom Discovery in Compilation-Based ASP Solving.
JELIA (1)
Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca
2025 A* conf
Most Probable Explanation in Probabilistic Answer Set Programming.
IJCAI
Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi
2025 — conf
Toward Executing Datalog on Big Data Platforms - Extended Abstract.
ICLP Workshops
Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca
2025 — conf
Toward Executing Datalog on Big Data Platforms.
CILC
Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca
2024 — conf
Automata-based LTL_f Satisfiability Checking via ASP.
AI4CC-IPS-RCRA-SPIRIT@AI*IA
Andrea Cuteri, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca
2024 A* conf
Blending Grounding and Compilation for Efficient ASP Solving.
KR
Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca
2024 J jnl
Enumerating Minimal Unsatisfiable Cores of LTLf formulas.
CoRR
Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca
2024 — conf
Hybrid Compilation-based ASP solving (Short paper).
DP@AI*IA
Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca
2024 J jnl
Quantifying over Optimum Answer Sets.
CoRR
Giuseppe Mazzotta, Francesco Ricca, Mirek Truszczynski
2024 J jnl
Quantifying over Optimum Answer Sets.
Theory Pract. Log. Program.
Giuseppe Mazzotta, Francesco Ricca, Mirek Truszczynski
2024 — conf
Towards ASP-based Minimal Unsatisfiable Cores Enumeration for LTLf.
OVERLAY
Antonio Ielo, Giuseppe Mazzotta, Francesco Ricca, Rafael Peñaloza
2024 J jnl
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment.
CoRR
Giovanni Amendola, Tobias Berei, Giuseppe Mazzotta, Francesco Ricca
2024 J jnl
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment.
Theory Pract. Log. Program.
Giovanni Amendola, Giuseppe Mazzotta, Francesco Ricca, Tobias Berei
2023 — conf
ASP-based Axiom Pinpointing for Description Logics.
Description Logics
Ignacio Huitzil, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca
2023 J jnl
An Efficient Solver for ASP(Q).
Theory Pract. Log. Program.
Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca
2023 J jnl
An efficient solver for ASP(Q).
CoRR
Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca
2023 A conf
Compilation of Tight ASP Programs.
ECAI
Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca
2023 — conf
Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics.
CILC
Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca
2023 — conf
Enhancing ASP(Q) evaluation.
DP@AI*IA
Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca
2022 — conf
Compilation of ASP Programs: Recent Developments (Short Paper).
DP@AI*IA
Giuseppe Mazzotta, Carmine Dodaro, Francesco Ricca
2022 A* conf
Compilation of Aggregates in ASP Systems.
AAAI
Giuseppe Mazzotta, Francesco Ricca, Carmine Dodaro
2022 C conf
Modelling the Outlier Detection Problem in ASP(Q).
PADL
Pierpaolo Bellusci, Giuseppe Mazzotta, Francesco Ricca
2021 — conf
Compilation of Aggregates in ASP.
ICLP Technical Communications
Giuseppe Mazzotta
2020 — conf
Compilation of Aggregates in ASP: Preliminary Results.
CILC
Giuseppe Mazzotta, Bernardo Cuteri, Carmine Dodaro, Francesco Ricca