Compilation of Aggregates in ASP: Preliminary Results. - Giuseppe Mazzotta; Bernardo Cuteri; Carmine Dodaro; Francesco Ricca (CILC, 2020)

Compilation of Aggregates in ASP. - Giuseppe Mazzotta (ICLP Technical Communications, 2021)

Compilation of Aggregates in ASP Systems. - Carmine Dodaro; Giuseppe Mazzotta; Francesco Ricca (Zenodo, 2021)

Compilation of Aggregates in ASP Systems. - Giuseppe Mazzotta; Francesco Ricca; Carmine Dodaro (AAAI, 2022)

Compilation of ASP Programs: Recent Developments (Short Paper). - Giuseppe Mazzotta; Carmine Dodaro; Francesco Ricca (DP@AI*IA, 2022)

Modelling the Outlier Detection Problem in ASP(Q). - Pierpaolo Bellusci; Giuseppe Mazzotta; Francesco Ricca (PADL, 2022)

Enhancing ASP(Q) evaluation. - Wolfgang Faber 001; Giuseppe Mazzotta; Francesco Ricca (DP@AI*IA, 2023)

Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics. - Andrea Cuteri; Giuseppe Mazzotta; Francesco Ricca (CILC, 2023)

ASP-based Axiom Pinpointing for Description Logics. - Ignacio Huitzil; Giuseppe Mazzotta; Rafael Peñaloza; Francesco Ricca (Description Logics, 2023)

Compilation of Tight ASP Programs. - Carmine Dodaro; Giuseppe Mazzotta; Francesco Ricca (ECAI, 2023)

Compilation of tight ASP programs. - Carmine Dodaro; Giuseppe Mazzotta; Francesco Ricca (Zenodo, 2023)

An Efficient Solver for ASP(Q). - Wolfgang Faber 001; Giuseppe Mazzotta; Francesco Ricca (Theory Pract. Log. Program., 2023)

Hybrid Compilation-based ASP solving (Short paper). - Carmine Dodaro; Giuseppe Mazzotta; Francesco Ricca (DP@AI*IA, 2024)

Blending Grounding and Compilation for Efficient ASP Solving. - Carmine Dodaro; Giuseppe Mazzotta; Francesco Ricca (KR, 2024)

Towards ASP-based Minimal Unsatisfiable Cores Enumeration for LTLf. - Antonio Ielo; Giuseppe Mazzotta; Francesco Ricca; Rafael Peñaloza (OVERLAY, 2024)

Automata-based LTL_f Satisfiability Checking via ASP. - Andrea Cuteri; Giuseppe Mazzotta; Rafael Peñaloza; Francesco Ricca (AI4CC-IPS-RCRA-SPIRIT@AI*IA, 2024)

Enumerating Minimal Unsatisfiable Cores of LTLf formulas. - Antonio Ielo; Giuseppe Mazzotta; Rafael Peñaloza; Francesco Ricca (CoRR, 2024)

Unit Testing in ASP Revisited: Language and Test-Driven Development Environment. - Giovanni Amendola; Giuseppe Mazzotta; Francesco Ricca; Tobias Berei (Theory Pract. Log. Program., 2024)

Quantifying over Optimum Answer Sets. - Giuseppe Mazzotta; Francesco Ricca; Mirek Truszczynski (Theory Pract. Log. Program., 2024)

Toward Executing Datalog on Big Data Platforms. - Andrea Cuteri; Giuseppe Mazzotta; Francesco Ricca (CILC, 2025)

Lazy Atom Discovery in Compilation-Based ASP Solving. - Andrea Cuteri; Giuseppe Mazzotta; Francesco Ricca (JELIA (1), 2025)