Calimeri, Francesco; Dodaro, Carmine; Fuscà, Davide; Perri, Simona; Zangari, Jessica Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers. (English) Zbl 1472.68179 Theory Pract. Log. Program. 20, No. 2, 205-224 (2020). MSC: 68T20 68N17 PDFBibTeX XMLCite \textit{F. Calimeri} et al., Theory Pract. Log. Program. 20, No. 2, 205--224 (2020; Zbl 1472.68179) Full Text: DOI arXiv
Calimeri, Francesco; Perri, Simona; Zangari, Jessica Optimizing answer set computation via heuristic-based decomposition. (English) Zbl 1472.68024 Theory Pract. Log. Program. 19, No. 4, 603-628 (2019). MSC: 68N17 68T30 PDFBibTeX XMLCite \textit{F. Calimeri} et al., Theory Pract. Log. Program. 19, No. 4, 603--628 (2019; Zbl 1472.68024) Full Text: DOI arXiv
Alviano, Mario; Leone, Nicola; Veltri, Pierfrancesco; Zangari, Jessica Enhancing magic sets with an application to ontological reasoning. (English) Zbl 1434.68560 Theory Pract. Log. Program. 19, No. 5-6, 654-670 (2019). MSC: 68T30 68N17 PDFBibTeX XMLCite \textit{M. Alviano} et al., Theory Pract. Log. Program. 19, No. 5--6, 654--670 (2019; Zbl 1434.68560) Full Text: DOI arXiv