MAZZOTTA, Giuseppe

MAZZOTTA, Giuseppe  

Dipartimento di Matematica e Informatica  

Mostra records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.019 secondi).
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.