Giuseppe Mazzotta

According to our database, Giuseppe Mazzotta authored at least 16 papers between 2020 and 2024.

Collaborative distances:

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

2024

Enumerating Minimal Unsatisfiable Cores of LTLf formulas.

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

CoRR, 2024

Quantifying over Optimum Answer Sets.

Giuseppe Mazzotta, Francesco Ricca, Mirek Truszczynski

CoRR, 2024

Unit Testing in ASP Revisited: Language and Test-Driven Development Environment.

Giovanni Amendola, Tobias Berei, Giuseppe Mazzotta, Francesco Ricca

CoRR, 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

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