{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:30:58Z","timestamp":1762101058458},"reference-count":19,"publisher":"Cambridge University Press (CUP)","issue":"4-6","license":[{"start":{"date-parts":[[2010,7,9]],"date-time":"2010-07-09T00:00:00Z","timestamp":1278633600000},"content-version":"unspecified","delay-in-days":8,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2010,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>An important issue towards a broader acceptance of answer-set programming (ASP) is the deployment of tools which support the programmer during the coding phase. In particular, methods for<jats:italic>debugging<\/jats:italic>an answer-set program are recognised as a crucial step in this regard. Initial work on debugging in ASP mainly focused on propositional programs, yet practical debuggers need to handle programs with variables as well. In this paper, we discuss a debugging technique that is directly geared towards non-ground programs. Following previous work, we address the central debugging question why some interpretation is not an answer set. The explanations provided by our method are computed by means of a meta-programming technique, using a uniform encoding of a debugging request in terms of ASP itself. Our method also permits programs containing comparison predicates and integer arithmetics, thus covering a relevant language class commonly supported by all state-of-the-art ASP solvers.<\/jats:p>","DOI":"10.1017\/s1471068410000256","type":"journal-article","created":{"date-parts":[[2010,7,9]],"date-time":"2010-07-09T12:44:40Z","timestamp":1278679480000},"page":"513-529","source":"Crossref","is-referenced-by-count":34,"title":["Catching the Ouroboros: On debugging non-ground answer-set programs"],"prefix":"10.1017","volume":"10","author":[{"given":"JOHANNES","family":"OETSCH","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00d6RG","family":"P\u00dcHRER","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"HANS","family":"TOMPITS","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2010,7,9]]},"reference":[{"key":"S1471068410000256_ref11","first-page":"503","volume-title":"Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI'05)","author":"Lee","year":"2005"},{"key":"S1471068410000256_ref3","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/978-3-540-88594-8_8","volume-title":"Revised Selected Papers of the 3rd International Workshop on Semantics in Data and Knowledge Bases (SDKB'08), Nantes, France, March 29, 2008","author":"Caballero","year":"2008"},{"key":"S1471068410000256_ref15","first-page":"635","volume-title":"Proceedings of the 2007 International Conference on Artificial Intelligence (ICAI'07)","author":"Mikitiuk","year":"2007"},{"key":"S1471068410000256_ref16","volume-title":"Technical Communications of the 26th International Conference on Logic Programming (ICLP'10)","author":"Oetsch","year":"2010"},{"key":"S1471068410000256_ref6","first-page":"377","volume-title":"Proceedings of the 9th International Conference on Principles of Knowledge Representation and Reasoning (KR'04)","author":"Eiter","year":"2004"},{"key":"S1471068410000256_ref1","volume-title":"Proceedings of the 3rd Workshop on Answer Set Programming: Advances in Theory and Implementation (ASP'05), Bath, UK, July 27\u201329, 2005","author":"Brain","year":"2005"},{"key":"S1471068410000256_ref2","first-page":"31","volume-title":"Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'07), Tempe, AZ, USA, May 15\u201317, 2007","author":"Brain","year":"2007"},{"key":"S1471068410000256_ref4","first-page":"298","volume-title":"Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR'06)","author":"Chen","year":"2006"},{"key":"S1471068410000256_ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04238-6_75"},{"key":"S1471068410000256_ref7","doi-asserted-by":"publisher","DOI":"10.1145\/261124.261126"},{"key":"S1471068410000256_ref9","first-page":"247","volume-title":"Revised Selected Papers of the 17th International Conference on Applications of Declarative Programming and Knowledge Management and the 21st Workshop on Logic Programming (INAP'07\/WLP'07)","author":"Gebser","year":"2009"},{"key":"S1471068410000256_ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"S1471068410000256_ref12","first-page":"444","volume-title":"Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08)","author":"Lee","year":"2008"},{"key":"S1471068410000256_ref13","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1997.2630"},{"key":"S1471068410000256_ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2004.04.004"},{"key":"S1471068410000256_ref17","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068408003633"},{"key":"S1471068410000256_ref18","first-page":"77","volume-title":"Proceedings of the 11th International Workshop on Non-Monotonic Reasoning (NMR'06)","author":"Syrj\u00e4nen","year":"2006"},{"key":"S1471068410000256_ref19","first-page":"296","volume-title":"Proceedings of the 25th International Conference on Logic Programming (ICLP'09)","author":"Wittocx","year":"2009"},{"key":"S1471068410000256_ref8","first-page":"448","volume-title":"Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI'08)","author":"Gebser","year":"2008"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068410000256","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,6]],"date-time":"2020-06-06T20:28:40Z","timestamp":1591475320000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068410000256\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":19,"journal-issue":{"issue":"4-6","published-print":{"date-parts":[[2010,7]]}},"alternative-id":["S1471068410000256"],"URL":"https:\/\/doi.org\/10.1017\/s1471068410000256","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,7]]}}}