Debugging non-ground ASP programs with Choice Rules, Cardinality Constraints and Weight Constraints. Polleres, A., Frühstück, M., Schenner, G., & Friedrich, G. In Cabalar, P. & Son, T. C., editors, Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-2013), volume 8148, of Lecture Notes in Computer Science (LNCS), pages 452–464, Corunna, Spain, September, 2013. Springer.
![Debugging non-ground ASP programs with Choice Rules, Cardinality Constraints and Weight Constraints [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper abstract bibtex
Paper abstract bibtex When deploying Answer Set Programming (ASP)in an industrial context, for instance for (re-)configuration (Friedrich et al., 2011), 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 cardinality and weight constraints. 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 to the non-ground case. We subsequently deploy this translation in order to extend ASP debugging for non-ground normal logic programs. We have implemented and tested the approach and provide evaluation results.
@inproceedings{poll-etal-LPNMR2013,
Abstract = {When deploying Answer Set Programming (ASP)in an industrial context, for instance for (re-)configuration (Friedrich et al., 2011), 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 cardinality and weight constraints. 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 to the non-ground case. We subsequently deploy this translation in order to extend ASP debugging for non-ground normal logic programs. We have implemented and tested the approach and provide evaluation results.},
Address = {Corunna, Spain},
Author = {Axel Polleres and Melanie Fr\"uhst\"uck and Gottfried Schenner and Gerhard Friedrich},
Booktitle = {{Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-2013)}},
Date-Modified = {2013-09-20 15:58:24 +0000},
Day = {15--19},
Editor = {Pedro Cabalar and Tran Cao Son},
Month = sep,
Pages = {452--464},
Publisher = {Springer},
Read = {0},
Series = LNCS,
Title = {Debugging non-ground {ASP} programs with Choice Rules, Cardinality Constraints and Weight Constraints},
Url = {http://www.polleres.net/publications/poll-etal-LPNMR2013.pdf},
Volume = 8148,
Year = 2013,
Bdsk-Url-1 = {http://www.polleres.net/publications/poll-etal-LPNMR2013.pdf}}Downloads: 0
{"_id":"LmG8gGWGFNt7dDKvL","bibbaseid":"polleres-frhstck-schenner-friedrich-debuggingnongroundaspprogramswithchoicerulescardinalityconstraintsandweightconstraints-2013","downloads":0,"creationDate":"2015-12-16T06:35:17.585Z","title":"Debugging non-ground ASP programs with Choice Rules, Cardinality Constraints and Weight Constraints","author_short":["Polleres, A.","Frühstück, M.","Schenner, G.","Friedrich, G."],"year":2013,"bibtype":"inproceedings","biburl":"www.polleres.net/mypublications.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","abstract":"When deploying Answer Set Programming (ASP)in an industrial context, for instance for (re-)configuration (Friedrich et al., 2011), 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 cardinality and weight constraints. 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 to the non-ground case. We subsequently deploy this translation in order to extend ASP debugging for non-ground normal logic programs. We have implemented and tested the approach and provide evaluation results.","address":"Corunna, Spain","author":[{"firstnames":["Axel"],"propositions":[],"lastnames":["Polleres"],"suffixes":[]},{"firstnames":["Melanie"],"propositions":[],"lastnames":["Frühstück"],"suffixes":[]},{"firstnames":["Gottfried"],"propositions":[],"lastnames":["Schenner"],"suffixes":[]},{"firstnames":["Gerhard"],"propositions":[],"lastnames":["Friedrich"],"suffixes":[]}],"booktitle":"Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-2013)","date-modified":"2013-09-20 15:58:24 +0000","day":"15–19","editor":[{"firstnames":["Pedro"],"propositions":[],"lastnames":["Cabalar"],"suffixes":[]},{"firstnames":["Tran","Cao"],"propositions":[],"lastnames":["Son"],"suffixes":[]}],"month":"September","pages":"452–464","publisher":"Springer","read":"0","series":"Lecture Notes in Computer Science (LNCS)","title":"Debugging non-ground ASP programs with Choice Rules, Cardinality Constraints and Weight Constraints","url":"http://www.polleres.net/publications/poll-etal-LPNMR2013.pdf","volume":"8148","year":"2013","bdsk-url-1":"http://www.polleres.net/publications/poll-etal-LPNMR2013.pdf","bibtex":"@inproceedings{poll-etal-LPNMR2013,\n\tAbstract = {When deploying Answer Set Programming (ASP)in an industrial context, for instance for (re-)configuration (Friedrich et al., 2011), 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 cardinality and weight constraints. 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 to the non-ground case. We subsequently deploy this translation in order to extend ASP debugging for non-ground normal logic programs. We have implemented and tested the approach and provide evaluation results.},\n\tAddress = {Corunna, Spain},\n\tAuthor = {Axel Polleres and Melanie Fr\\\"uhst\\\"uck and Gottfried Schenner and Gerhard Friedrich},\n\tBooktitle = {{Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-2013)}},\n\tDate-Modified = {2013-09-20 15:58:24 +0000},\n\tDay = {15--19},\n\tEditor = {Pedro Cabalar and Tran Cao Son},\n\tMonth = sep,\n\tPages = {452--464},\n\tPublisher = {Springer},\n\tRead = {0},\n\tSeries = LNCS,\n\tTitle = {Debugging non-ground {ASP} programs with Choice Rules, Cardinality Constraints and Weight Constraints},\n\tUrl = {http://www.polleres.net/publications/poll-etal-LPNMR2013.pdf},\n\tVolume = 8148,\n\tYear = 2013,\n\tBdsk-Url-1 = {http://www.polleres.net/publications/poll-etal-LPNMR2013.pdf}}\n\n","author_short":["Polleres, A.","Frühstück, M.","Schenner, G.","Friedrich, G."],"editor_short":["Cabalar, P.","Son, T. C."],"key":"poll-etal-LPNMR2013","id":"poll-etal-LPNMR2013","bibbaseid":"polleres-frhstck-schenner-friedrich-debuggingnongroundaspprogramswithchoicerulescardinalityconstraintsandweightconstraints-2013","role":"author","urls":{"Paper":"http://www.polleres.net/publications/poll-etal-LPNMR2013.pdf"},"metadata":{"authorlinks":{"polleres, a":"https://bibbase.org/show?bib=www.polleres.net/mypublications.bib"}},"downloads":0,"html":""},"search_terms":["debugging","non","ground","asp","programs","choice","rules","cardinality","constraints","weight","constraints","polleres","frühstück","schenner","friedrich"],"keywords":[],"authorIDs":["FyLDFGg993nDS2Spf"],"dataSources":["cBfwyqsLFQQMc4Fss","gixxkiKt6rtWGoKSh","QfLT6siHZuHw9MqvK"]}