Compilation of aggregates in ASP systems G Mazzotta, F Ricca, C Dodaro Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 5834-5841, 2022 | 5 | 2022 |
Compilation of Aggregates in ASP: Preliminary Results. G Mazzotta, B Cuteri, C Dodaro, F Ricca CILC, 278-296, 2020 | 2 | 2020 |
An efficient solver for ASP (Q) W Faber, G Mazzotta, F Ricca Theory and Practice of Logic Programming 23 (4), 948-964, 2023 | 1 | 2023 |
ASP-based Axiom Pinpointing for Description Logics I Huitzil, G Mazzotta, R Peñaloza, F Ricca CEUR WORKSHOP PROCEEDINGS 3515, 1-13, 2023 | 1 | 2023 |
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment G Amendola, G Mazzotta, F Ricca, T Berei Theory and Practice of Logic Programming, 1-31, 2024 | | 2024 |
Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics A Cuteri, G Mazzotta, F Ricca CEUR WORKSHOP PROCEEDINGS 3428, 2023 | | 2023 |
Modelling the Outlier Detection Problem in ASP (Q) P Bellusci, G Mazzotta, F Ricca International Symposium on Practical Aspects of Declarative Languages, 15-23, 2022 | | 2022 |
Enhancing ASP (Q) evaluation W Faber, G Mazzotta, F Ricca | | 2022 |
Compilation of ASP programs: Recent developments C Dodaro, G Mazzotta, F Ricca | | 2022 |
Compilation of Aggregates in ASP G Mazzotta arXiv preprint arXiv:2109.08303, 2021 | | 2021 |