MAZZOTTA, Giuseppe

MAZZOTTA, Giuseppe  

Dipartimento di Matematica e Informatica  

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