Alviano, Mario; Dodaro, Carmine; Fiorentino, Salvatore; Previti, Alessandro; Ricca, Francesco ASP and subset minimality: enumeration, cautious reasoning and MUSes. (English) Zbl 07702961 Artif. Intell. 320, Article ID 103931, 25 p. (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{M. Alviano} et al., Artif. Intell. 320, Article ID 103931, 25 p. (2023; Zbl 07702961) Full Text: DOI
Amendola, Giovanni; Dodaro, Carmine; Faber, Wolfgang; Ricca, Francesco Paracoherent answer set computation. (English) Zbl 1520.68180 Artif. Intell. 299, Article ID 103519, 31 p. (2021). MSC: 68T27 03B53 68N17 68T30 PDFBibTeX XMLCite \textit{G. Amendola} et al., Artif. Intell. 299, Article ID 103519, 31 p. (2021; Zbl 1520.68180) Full Text: DOI
Bichler, Manuel; Morak, Michael; Woltran, Stefan selp: a single-shot epistemic logic program solver. (English) Zbl 1472.68022 Theory Pract. Log. Program. 20, No. 4, 435-455 (2020). MSC: 68N17 03B42 68T20 68T27 PDFBibTeX XMLCite \textit{M. Bichler} et al., Theory Pract. Log. Program. 20, No. 4, 435--455 (2020; Zbl 1472.68022) Full Text: DOI arXiv
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
Ianni, Giovambattista; Pacenza, Francesco; Zangari, Jessica Incremental maintenance of overgrounded logic programs with tailored simplifications. (English) Zbl 1468.68223 Theory Pract. Log. Program. 20, No. 5, 719-734 (2020). MSC: 68T30 68N17 PDFBibTeX XMLCite \textit{G. Ianni} et al., Theory Pract. Log. Program. 20, No. 5, 719--734 (2020; Zbl 1468.68223) Full Text: DOI arXiv
Dodaro, Carmine; Eiter, Thomas; Ogris, Paul; Schekotihin, Konstantin Managing caching strategies for stream reasoning with reinforcement learning. (English) Zbl 1468.68152 Theory Pract. Log. Program. 20, No. 5, 625-640 (2020). MSC: 68T05 68T20 68W27 PDFBibTeX XMLCite \textit{C. Dodaro} et al., Theory Pract. Log. Program. 20, No. 5, 625--640 (2020; Zbl 1468.68152) 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
Calimeri, Francesco; Ianni, Giovambattista; Pacenza, Francesco; Perri, Simona; Zangari, Jessica Incremental answer set programming with overgrounding. (English) Zbl 1434.68555 Theory Pract. Log. Program. 19, No. 5-6, 957-973 (2019). MSC: 68T27 68N17 68T30 PDFBibTeX XMLCite \textit{F. Calimeri} et al., Theory Pract. Log. Program. 19, No. 5--6, 957--973 (2019; Zbl 1434.68555) Full Text: DOI arXiv
Amendola, Giovanni; Dodaro, Carmine; Ricca, Francesco Better paracoherent answer sets with less resources. (English) Zbl 1434.68067 Theory Pract. Log. Program. 19, No. 5-6, 757-772 (2019). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{G. Amendola} et al., Theory Pract. Log. Program. 19, No. 5--6, 757--772 (2019; Zbl 1434.68067) Full Text: DOI arXiv
Amendola, Giovanni; Dodaro, Carmine; Maratea, Marco Abstract solvers for computing cautious consequences of ASP programs. (English) Zbl 1434.68066 Theory Pract. Log. Program. 19, No. 5-6, 740-756 (2019). MSC: 68N17 68T20 PDFBibTeX XMLCite \textit{G. Amendola} et al., Theory Pract. Log. Program. 19, No. 5--6, 740--756 (2019; Zbl 1434.68066) 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
Alviano, Mario; Dodaro, Carmine; Järvisalo, Matti; Maratea, Marco; Previti, Alessandro Cautious reasoning in ASP via minimal models and unsatisfiable cores. (English) Zbl 1451.68267 Theory Pract. Log. Program. 18, No. 3-4, 319-336 (2018). MSC: 68T30 68N17 PDFBibTeX XMLCite \textit{M. Alviano} et al., Theory Pract. Log. Program. 18, No. 3--4, 319--336 (2018; Zbl 1451.68267) Full Text: DOI arXiv
Alviano, Mario; Peñaloza, Rafael Fuzzy answer set computation via satisfiability modulo theories. (English) Zbl 1379.68036 Theory Pract. Log. Program. 15, No. 4-5, 588-603 (2015). MSC: 68N17 03B52 68T37 PDFBibTeX XMLCite \textit{M. Alviano} and \textit{R. Peñaloza}, Theory Pract. Log. Program. 15, No. 4--5, 588--603 (2015; Zbl 1379.68036) Full Text: DOI arXiv