MAZZOTTA, GIUSEPPE
MAZZOTTA, GIUSEPPE
Dipartimento di Matematica e Informatica
2-ASP(Q) Solving Based on CEGAR
2026-01-01 Cuteri, A.; Mazzotta, G.; Ricca, F.
A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming
2025-01-01 Azzolini, D.; Mazzotta, G.; Ricca, F.; Riguzzi, F.
An Algebraic View of MAP Inference in Probabilistic Answer Set Programs
2025-01-01 Azzolini, D.; Mazzotta, G.; Ricca, F.; Riguzzi, F.
An Efficient Solver for ASP(Q)
2023-01-01 Faber, W.; Mazzotta, G.; Ricca, F.
Answer Set Programming and Neurosymbolic {AI:} Applications and Future Perspectives (Invited Talk)
2024-01-01 Borroto, Manuel; Mazzotta, Giuseppe; Ricca, Francesco
ASP Essentials: Modelling and Efficient Solving
2025-01-01 Mazzotta, G.; Ricca, F.
ASP-based Axiom Pinpointing for Description Logics
2023-01-01 Huitzil, I.; Mazzotta, G.; Penaloza, R.; Ricca, F.
Automata-based LTL_f Satisfiability Checking via ASP
2024-01-01 Cuteri, Andrea; Mazzotta, Giuseppe; Peñaloza, Rafael; Ricca, Francesco
Blending Grounding and Compilation for Efficient ASP Solving
2024-01-01 Dodaro, Carmine; Mazzotta, Giuseppe; Ricca, Francesco
Compilation of Aggregates in ASP Systems
2022-01-01 Mazzotta, Giuseppe; Ricca, Francesco; Dodaro, Carmine
Compilation of aggregates in ASP: Preliminary results
2020-01-01 Mazzotta, G.; Cuteri, B.; Dodaro, C.; Ricca, F.
Compilation of ASP programs: Recent developments
2023-01-01 Dodaro, C.; Mazzotta, G.; Ricca, F.
Compilation of Tight ASP Programs
2023-01-01 Dodaro, Carmine; Mazzotta, Giuseppe; Ricca, Francesco
Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics
2023-01-01 Cuteri, A.; Mazzotta, G.; Ricca, F.
Enhancing ASP(Q) evaluation
2023-01-01 Faber, W.; Mazzotta, G.; Ricca, F.
Enhancing Compilation-based ASP Solving with Postponed Atom Discovery
2025-01-01 Cuteri, A.; Mazzotta, G.; Ricca, F.
Enumerating Minimal Unsatisfiable Cores of LTLf Formulae
2026-01-01 Ielo, A.; Mazzotta, G.; Penaloza, R.; Ricca, F.
Hybrid Compilation-based ASP solving (Short paper)
2024-01-01 Dodaro, Carmine; Mazzotta, Giuseppe; Ricca, Francesco
Knowledge and Reasoning
2025-01-01 Mazzotta, G.; Ricca, F.; Terracina, G.
Lazy Atom Discovery in Compilation-Based ASP Solving
2025-01-01 Cuteri, A.; Mazzotta, G.; Ricca, F.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 2-ASP(Q) Solving Based on CEGAR | 1-gen-2026 | Cuteri, A.; Mazzotta, G.; Ricca, F. | |
| A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming | 1-gen-2025 | Azzolini, D.; Mazzotta, G.; Ricca, F.; Riguzzi, F. | |
| An Algebraic View of MAP Inference in Probabilistic Answer Set Programs | 1-gen-2025 | Azzolini, D.; Mazzotta, G.; Ricca, F.; Riguzzi, F. | |
| An Efficient Solver for ASP(Q) | 1-gen-2023 | Faber, W.; Mazzotta, G.; Ricca, F. | |
| Answer Set Programming and Neurosymbolic {AI:} Applications and Future Perspectives (Invited Talk) | 1-gen-2024 | Borroto, Manuel; Mazzotta, Giuseppe; Ricca, Francesco | |
| ASP Essentials: Modelling and Efficient Solving | 1-gen-2025 | Mazzotta, G.; Ricca, F. | |
| ASP-based Axiom Pinpointing for Description Logics | 1-gen-2023 | Huitzil, I.; Mazzotta, G.; Penaloza, R.; Ricca, F. | |
| Automata-based LTL_f Satisfiability Checking via ASP | 1-gen-2024 | Cuteri, Andrea; Mazzotta, Giuseppe; Peñaloza, Rafael; Ricca, Francesco | |
| Blending Grounding and Compilation for Efficient ASP Solving | 1-gen-2024 | Dodaro, Carmine; Mazzotta, Giuseppe; Ricca, Francesco | |
| Compilation of Aggregates in ASP Systems | 1-gen-2022 | Mazzotta, Giuseppe; Ricca, Francesco; Dodaro, Carmine | |
| Compilation of aggregates in ASP: Preliminary results | 1-gen-2020 | Mazzotta, G.; Cuteri, B.; Dodaro, C.; Ricca, F. | |
| Compilation of ASP programs: Recent developments | 1-gen-2023 | Dodaro, C.; Mazzotta, G.; Ricca, F. | |
| Compilation of Tight ASP Programs | 1-gen-2023 | Dodaro, Carmine; Mazzotta, Giuseppe; Ricca, Francesco | |
| Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics | 1-gen-2023 | Cuteri, A.; Mazzotta, G.; Ricca, F. | |
| Enhancing ASP(Q) evaluation | 1-gen-2023 | Faber, W.; Mazzotta, G.; Ricca, F. | |
| Enhancing Compilation-based ASP Solving with Postponed Atom Discovery | 1-gen-2025 | Cuteri, A.; Mazzotta, G.; Ricca, F. | |
| Enumerating Minimal Unsatisfiable Cores of LTLf Formulae | 1-gen-2026 | Ielo, A.; Mazzotta, G.; Penaloza, R.; Ricca, F. | |
| Hybrid Compilation-based ASP solving (Short paper) | 1-gen-2024 | Dodaro, Carmine; Mazzotta, Giuseppe; Ricca, Francesco | |
| Knowledge and Reasoning | 1-gen-2025 | Mazzotta, G.; Ricca, F.; Terracina, G. | |
| Lazy Atom Discovery in Compilation-Based ASP Solving | 1-gen-2025 | Cuteri, A.; Mazzotta, G.; Ricca, F. |