MAZZOTTA, Giuseppe
MAZZOTTA, Giuseppe
Dipartimento di Matematica e Informatica
An Efficient Solver for ASP(Q)
2023-01-01 Faber, W.; 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.
Modelling the Outlier Detection Problem in ASP(Q)
2022-01-01 Bellusci, P.; Mazzotta, G.; Ricca, F.
Quantifying over Optimum Answer Sets
2024-01-01 Mazzotta, Giuseppe; Ricca, Francesco; Truszczynski, Mirek
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment
2024-01-01 Amendola, G.; Mazzotta, G.; Ricca, F.; Berei, T.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
An Efficient Solver for ASP(Q) | 1-gen-2023 | Faber, W.; 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. | |
Modelling the Outlier Detection Problem in ASP(Q) | 1-gen-2022 | Bellusci, P.; Mazzotta, G.; Ricca, F. | |
Quantifying over Optimum Answer Sets | 1-gen-2024 | Mazzotta, Giuseppe; Ricca, Francesco; Truszczynski, Mirek | |
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment | 1-gen-2024 | Amendola, G.; Mazzotta, G.; Ricca, F.; Berei, T. |