Giuseppe Mazzotta

According to our database, Giuseppe Mazzotta authored at least 33 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

2-ASP(Q) programs with weak constraints: Complexity and efficient implementation.

Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca

CoRR, May, 2026

Using ASP(Q) to Handle Inconsistent Prioritized Data.

Meghyn Bienvenu, Camille Bourgaux, Robin Jean, Giuseppe Mazzotta

CoRR, April, 2026

Solving Hard Combinatorial Optimization Problems with PyQASP.

Damiano Azzolini, Nicola Leone, Giuseppe Mazzotta, Francesco Ricca

Proceedings of the Practical Aspects of Declarative Languages, 2026

Enumerating Minimal Unsatisfiable Cores of LTLf Formulae.

Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2-ASP(Q) Solving Based on CEGAR.

Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

ASP Essentials: Modelling and Efficient Solving (Invited Paper).

Giuseppe Mazzotta, Francesco Ricca

Proceedings of the Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools, 2025

A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming.

Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi

Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 2025

Lazy Atom Discovery in Compilation-Based ASP Solving.

Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca

Proceedings of the Logics in Artificial Intelligence - 19th European Conference, 2025

Most Probable Explanation in Probabilistic Answer Set Programming.

Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025

Toward Executing Datalog on Big Data Platforms - Extended Abstract.

Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca

Proceedings of the Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), 2025

Enhancing Compilation-based ASP Solving with Postponed Atom Discovery.

Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca

Proceedings of the Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), 2025

An Algebraic View of MAP Inference in Probabilistic Answer Set Programs.

Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi

Proceedings of the ECAI 2025 - 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy, 2025

Toward Executing Datalog on Big Data Platforms.

Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca

Proceedings of the 40th Italian Conference on Computational Logic, 2025

2024

Quantifying over Optimum Answer Sets.

Giuseppe Mazzotta, Francesco Ricca, Mirek Truszczynski

Theory Pract. Log. Program., 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

Enumerating Minimal Unsatisfiable Cores of LTLf formulas.

Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca

CoRR, 2024

Automata-based LTL_f Satisfiability Checking via ASP.

Andrea Cuteri, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca

Proceedings of the International Workshop on Artificial Intelligence for Climate Change, 2024

Towards ASP-based Minimal Unsatisfiable Cores Enumeration for LTLf.

Antonio Ielo, Giuseppe Mazzotta, Francesco Ricca, Rafael Peñaloza

Proceedings of the Short Paper Proceedings of the 6th International Workshop on Artificial Intelligence and Formal Verification, 2024

Blending Grounding and Compilation for Efficient ASP Solving.

Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

Answer Set Programming and Neurosymbolic AI: Applications and Future Perspectives (Invited Talk).

Manuel Borroto, Antonio Ielo, Giuseppe Mazzotta, Francesco Ricca

Proceedings of the Hybrid Models for Coupling Deductive and Inductive Reasoning, 2024

Hybrid Compilation-based ASP solving (Short paper).

Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca

Proceedings of the AIxIA Discussion Papers 2024 co-located with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024), 2024

2023

An Efficient Solver for ASP(Q).

Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca

Theory Pract. Log. Program., July, 2023

Compilation of tight ASP programs.

Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca

Dataset, July, 2023

Compilation of Tight ASP Programs.

Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

ASP-based Axiom Pinpointing for Description Logics.

Ignacio Huitzil, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics.

Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca

Proceedings of the 38th Italian Conference on Computational Logic, 2023

Enhancing ASP(Q) evaluation.

Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca

Proceedings of the Discussion Papers, 2023

2022

Modelling the Outlier Detection Problem in ASP(Q).

Pierpaolo Bellusci, Giuseppe Mazzotta, Francesco Ricca

Proceedings of the Practical Aspects of Declarative Languages, 2022

Compilation of ASP Programs: Recent Developments (Short Paper).

Giuseppe Mazzotta, Carmine Dodaro, Francesco Ricca

Proceedings of the Discussion Papers - 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022 DP), Udine, Italy, November 28, 2022

Compilation of Aggregates in ASP Systems.

Giuseppe Mazzotta, Francesco Ricca, Carmine Dodaro

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Compilation of Aggregates in ASP Systems.

Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca

Dataset, December, 2021

Compilation of Aggregates in ASP.

Giuseppe Mazzotta

Proceedings of the Proceedings 37th International Conference on Logic Programming (Technical Communications), 2021

2020

Compilation of Aggregates in ASP: Preliminary Results.

Giuseppe Mazzotta, Bernardo Cuteri, Carmine Dodaro, Francesco Ricca

Proceedings of the 35th Italian Conference on Computational Logic, 2020