Dovier, Agostino; Formisano, Andrea; Gupta, Gopal; Hermenegildo, Manuel V.; Pontelli, Enrico; Rocha, Ricardo Parallel logic programming: a sequel. (English) Zbl 07776352 Theory Pract. Log. Program. 22, No. 6, 905-973 (2022). MSC: 68N17 PDFBibTeX XMLCite \textit{A. Dovier} et al., Theory Pract. Log. Program. 22, No. 6, 905--973 (2022; Zbl 07776352) Full Text: DOI arXiv
De Bortoli, Marco Distributed answer set coloring: stable models computation via graph coloring. (English) Zbl 07453150 Bogaerts, Bart (ed.) et al., Proceedings of the 35th international conference on logic programming (technical communications), ICLP 2019, Las Cruces, USA, September 20–25, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 306, 441-451 (2019). MSC: 68N17 PDFBibTeX XMLCite \textit{M. De Bortoli}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 306, 441--451 (2019; Zbl 07453150) Full Text: arXiv Link
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
Lefèvre, Claire; Béatrix, Christopher; Stéphan, Igor; Garcia, Laurent {ASPeRiX}, a first-order forward chaining approach for answer set computing. (English) Zbl 1379.68075 Theory Pract. Log. Program. 17, No. 3, 266-310 (2017). MSC: 68N17 68T20 68T30 PDFBibTeX XMLCite \textit{C. Lefèvre} et al., Theory Pract. Log. Program. 17, No. 3, 266--310 (2017; Zbl 1379.68075) Full Text: DOI arXiv
Faber, Wolfgang; Leone, Nicola; Perri, Simona The intelligent grounder of DLV. (English) Zbl 1357.68032 Erdem, Esra (ed.) et al., Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz. Berlin: Springer (ISBN 978-3-642-30742-3/pbk). Lecture Notes in Computer Science 7265, 247-264 (2012). MSC: 68N17 PDFBibTeX XMLCite \textit{W. Faber} et al., Lect. Notes Comput. Sci. 7265, 247--264 (2012; Zbl 1357.68032) Full Text: DOI