| 2026 | AAAI | 2-ASP(Q) Solving Based on CEGAR. | Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca |
| 2026 | AAAI | Enumerating Minimal Unsatisfiable Cores of LTLf Formulae. | Antonio Ielo, Giuseppe Mazzotta, Rafael Pealoza, Francesco Ricca |
| 2026 | KR | Probabilistic Reasoning within Answer Set Programming with Quantifiers. | Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca |
| 2026 | KR | Using ASP(Q) to Handle Inconsistent Prioritized Data. | Meghyn Bienvenu, Camille Bourgaux, Robin Jean, Giuseppe Mazzotta |
| 2026 | PADL | Solving Hard Combinatorial Optimization Problems with PyQASP. | Damiano Azzolini, Nicola Leone, Giuseppe Mazzotta, Francesco Ricca |
| 2025 | ECAI | An Algebraic View of MAP Inference in Probabilistic Answer Set Programs. | Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi |
| 2025 | ICLP | Enhancing Compilation-based ASP Solving with Postponed Atom Discovery. | Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca |
| 2025 | ICLP | Toward Executing Datalog on Big Data Platforms - Extended Abstract. | Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca |
| 2025 | IJCAI | Most Probable Explanation in Probabilistic Answer Set Programming. | Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi |
| 2025 | JELIA | Lazy Atom Discovery in Compilation-Based ASP Solving. | Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca |
| 2025 | KR | A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming. | Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi |
| 2024 | KR | Blending Grounding and Compilation for Efficient ASP Solving. | Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca |
| 2023 | ECAI | Compilation of Tight ASP Programs. | Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca |
| 2022 | AAAI | Compilation of Aggregates in ASP Systems. | Giuseppe Mazzotta, Francesco Ricca, Carmine Dodaro |
| 2022 | PADL | Modelling the Outlier Detection Problem in ASP(Q). | Pierpaolo Bellusci, Giuseppe Mazzotta, Francesco Ricca |