MAZZOTTA, Giuseppe
MAZZOTTA, Giuseppe
Dipartimento di Matematica e Informatica
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.019 secondi).
An Efficient Solver for ASP(Q)
2023-01-01 Faber, W.; Mazzotta, G.; Ricca, F.
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.
Modelling the Outlier Detection Problem in ASP(Q)
2022-01-01 Bellusci, P.; Mazzotta, G.; Ricca, F.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
An Efficient Solver for ASP(Q) | 1-gen-2023 | Faber, W.; Mazzotta, G.; Ricca, F. | |
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. | |
Modelling the Outlier Detection Problem in ASP(Q) | 1-gen-2022 | Bellusci, P.; Mazzotta, G.; Ricca, F. |