When deploying Answer Set Programming (ASP) in an industrial context, for instance for (re-)configuration [5], knowledge engineers need debugging support on non-ground programs. Current approaches to ASP debugging, however, do not cover extended modeling features of ASP, such as choice rules, conditional literals, cardinality and weight constraints [13]. To this end, we encode non-ground ASP programs using extended modeling features into normal logic progams; this encoding extends existing encodings for the case of ground programs [4,10,11] to the non-ground case. We subsequently deploy this translation on top of an existing ASP debugging approach for non-ground normal logic programs [14]. We have implemented and tested the approach and provide evaluation results. © 2013 Springer-Verlag.
CITATION STYLE
Polleres, A., Frühstück, M., Schenner, G., & Friedrich, G. (2013). Debugging non-ground ASP programs with choice rules, cardinality and weight constraints. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8148 LNAI, pp. 452–464). https://doi.org/10.1007/978-3-642-40564-8_45
Mendeley helps you to discover research relevant for your work.