Giuseppe Mazzotta

According to our database, Giuseppe Mazzotta authored at least 21 papers between 2020 and 2025.

Collaborative distances:

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

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

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

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