Dodaro, Carmine; Gasteiger, Philip; Leone, Nicola; Musitsch, Benjamin; Ricca, Francesco; Shchekotykhin, Kostyantyn Combining answer set programming and domain heuristics for solving hard industrial problems (application paper). (English) Zbl 1379.68281 Theory Pract. Log. Program. 16, No. 5-6, 653-669 (2016). MSC: 68T20 68N17 PDFBibTeX XMLCite \textit{C. Dodaro} et al., Theory Pract. Log. Program. 16, No. 5--6, 653--669 (2016; Zbl 1379.68281) Full Text: DOI arXiv
Dodaro, Carmine; Gasteiger, Philip; Musitsch, Benjamin; Ricca, Francesco; Shchekotykhin, Kostyantyn Interactive debugging of non-ground ASP programs. (English) Zbl 1467.68024 Calimeri, Francesco (ed.) et al., Logic programming and nonmonotonic reasoning. 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9345, 279-293 (2015). MSC: 68N17 PDFBibTeX XMLCite \textit{C. Dodaro} et al., Lect. Notes Comput. Sci. 9345, 279--293 (2015; Zbl 1467.68024) Full Text: DOI