{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,14]],"date-time":"2026-07-14T22:31:03Z","timestamp":1784068263818,"version":"3.55.0"},"reference-count":56,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"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":[[2009,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The paper introduces the notion of <jats:italic>offline justification<\/jats:italic> for answer set programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom with respect to a given answer set. The paper extends also this notion to provide justification of atoms <jats:italic>during<\/jats:italic> the computation of an answer set (on-line justification) and presents an integration of online justifications within the computation model of <jats:sc>Smodels<\/jats:sc>. Offline and online justifications provide useful tools to enhance understanding of ASP, and they offer a basic data structure to support methodologies and tools for <jats:italic>debugging<\/jats:italic> answer set programs. A preliminary implementation has been developed in <jats:private-char><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" mimetype=\"image\" xlink:type=\"simple\" xlink:href=\"S1471068408003633_char1\"\/><\/jats:private-char> \u2013 <jats:private-char><jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" mime-subtype=\"gif\" mimetype=\"image\" xlink:type=\"simple\" xlink:href=\"S1471068408003633_char2\"\/><\/jats:private-char>.<\/jats:p>","DOI":"10.1017\/s1471068408003633","type":"journal-article","created":{"date-parts":[[2009,1,30]],"date-time":"2009-01-30T13:02:29Z","timestamp":1233320549000},"page":"1-56","source":"Crossref","is-referenced-by-count":45,"title":["Justifications for logic programs under answer set semantics"],"prefix":"10.1017","volume":"9","author":[{"given":"ENRICO","family":"PONTELLI","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"TRAN CAO","family":"SON","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"OMAR","family":"ELKHATIB","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2009,1,1]]},"reference":[{"key":"S1471068408003633_ref45","unstructured":"Perri S. , Ricca F. , Terracina G. , Cianni D. and Veltri P. 2007. An integrated graphic tool for developing and testing DLV programs. In Proc. of the 1st SEA Workshop, LPNMR'07, 86\u2013100."},{"key":"S1471068408003633_ref42","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018930122475"},{"key":"S1471068408003633_ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8"},{"key":"S1471068408003633_ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"S1471068408003633_ref34","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068405002528"},{"key":"S1471068408003633_ref51","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00187-X"},{"key":"S1471068408003633_ref33","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001790"},{"key":"S1471068408003633_ref8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357"},{"key":"S1471068408003633_ref30","first-page":"37","volume-title":"Logic Programming, 21st International Conference, ICLP 2005","author":"Giunchiglia","year":"2005"},{"key":"S1471068408003633_ref28","first-page":"1070","volume-title":"Logic Programming: Proceedings of the Fifth International Conf. and Symp.","author":"Gelfond","year":"1988"},{"key":"S1471068408003633_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/10722311"},{"key":"S1471068408003633_ref16","first-page":"291","volume-title":"International Logic Programming Symposium","author":"Debray","year":"1997"},{"key":"S1471068408003633_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/11591191_8"},{"key":"S1471068408003633_ref27","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00207-2"},{"key":"S1471068408003633_ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72200-7_23"},{"key":"S1471068408003633_ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72200-7_24"},{"key":"S1471068408003633_ref24","first-page":"51","article-title":"Consistency of Clark's completion and existence of stable models","volume":"1","author":"Fages","year":"1994","journal-title":"Methods of Logic in Computer Science"},{"key":"S1471068408003633_ref54","doi-asserted-by":"publisher","DOI":"10.1145\/321978.321991"},{"key":"S1471068408003633_ref55","doi-asserted-by":"publisher","DOI":"10.1145\/116825.116838"},{"key":"S1471068408003633_ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72200-7_5"},{"key":"S1471068408003633_ref32","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45635-X_18"},{"key":"S1471068408003633_ref41","doi-asserted-by":"publisher","DOI":"10.1007\/11799573_36"},{"key":"S1471068408003633_ref46","unstructured":"Pineda A. and Hermenegildo M. 1999. O'CIAO An Object Oriented Programming model using CIAO Prolog. Technical Report CLIP 5\/99.0, Facultad de Informatica, Universidad Politecnica de Madrid, Spain."},{"key":"S1471068408003633_ref49","first-page":"235","volume-title":"Logic Programming, 21st International Conference, ICLP 2005","author":"Saha","year":"2005"},{"key":"S1471068408003633_ref21","first-page":"49","volume-title":"Proc. of the Sixth International Workshop on Automated Debugging, AADEBUG 2005","author":"Elkhatib","year":"2005"},{"key":"S1471068408003633_ref31","first-page":"131","volume-title":"Computational Logic\u2013-CL 2000, First International Conference","author":"Gras","year":"2000"},{"key":"S1471068408003633_ref6","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001807"},{"key":"S1471068408003633_ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72200-7_4"},{"key":"S1471068408003633_ref53","unstructured":"Syrj\u00e4nen T. 2006. Debugging inconsistent answer set programs. In Proceedings of the 11th International Workshop on Non-Monotonic Reasoning, Technical Report, Technische Universitaet Clausthal, Dix J. and Hunter A. , Eds. http:\/\/www.in.tu-clausthal.de\/abteilungen\/cig\/cigroot\/activities\/nmr-06, 77\u201384."},{"key":"S1471068408003633_ref35","first-page":"23","volume-title":"International Conference on Logic Programming","author":"Lifschitz","year":"1999"},{"key":"S1471068408003633_ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57530-8_7"},{"key":"S1471068408003633_ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-006-9026-1"},{"key":"S1471068408003633_ref43","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63255-7_32"},{"key":"S1471068408003633_ref4","unstructured":"Auguston M. 2000. Assertion checker for the C programming language based on computations over event traces. In Proceedings of the Fourth International Workshop on Automated Debugging (AADEBUG), Ducasse M. , Ed. arXiv:cs\/0010035, http:\/\/xxx.lanl.gov\/abs\/cs.SE\/0010035."},{"key":"S1471068408003633_ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24836-1_11"},{"key":"S1471068408003633_ref11","unstructured":"Brain M. , Gebser M. , P\u00fchrer J. , Schaub T. , Tompits H. and Woltran S. 2007b. \u201cThat is illogical captain!\u201d\u2013-The debugging support tool spock for answer-set programs: System description. In Proc. of the Workshop on Software Engineering for Answer Set Programming (SEA'07), De Vos M. and Schaub T. , Eds. 71\u201385."},{"key":"S1471068408003633_ref12","doi-asserted-by":"publisher","DOI":"10.1017\/S147106840100103X"},{"key":"S1471068408003633_ref36","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00186-8"},{"key":"S1471068408003633_ref39","first-page":"154","volume-title":"International Conference on Logic Programming","author":"Mallet","year":"1999"},{"key":"S1471068408003633_ref15","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"S1471068408003633_ref13","first-page":"21","volume-title":"Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the First International ASP Workshop, AAAI Spring Symposium, Technical Report SS-01-01","author":"Costantini","year":"2001"},{"key":"S1471068408003633_ref29","first-page":"61","volume-title":"Proc. of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence","author":"Giunchiglia","year":"2004"},{"key":"S1471068408003633_ref19","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(98)10036-5"},{"key":"S1471068408003633_ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90024-8"},{"key":"S1471068408003633_ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(02)00290-9"},{"key":"S1471068408003633_ref20","first-page":"406","volume-title":"International Conference on Principles of Knowledge Representation and Reasoning","author":"Eiter","year":"1998"},{"key":"S1471068408003633_ref44","first-page":"24","volume-title":"Functional and Logic Programming, 7th International Symposium, FLOPS 2004","author":"Pemmasani","year":"2004"},{"key":"S1471068408003633_ref47","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49481-2_43"},{"key":"S1471068408003633_ref48","first-page":"179","volume-title":"Second International Conference on Principles and Practice of Declarative Programming","author":"Roychoudhury","year":"2000"},{"key":"S1471068408003633_ref23","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068406002729"},{"key":"S1471068408003633_ref37","first-page":"112","volume-title":"Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence","author":"Lin","year":"2002"},{"key":"S1471068408003633_ref50","first-page":"299","volume-title":"Proceedings of the Ninth Annual ACM Symposium on Principles of Programming Languages","author":"Shapiro","year":"1982"},{"key":"S1471068408003633_ref17","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068402001539"},{"key":"S1471068408003633_ref52","unstructured":"Specht G. 1993. Generating Explanation Trees even for Negations in Deductive DataBase Systems. In Proceedings of the Fifth Workshop on Logic Programming Environments (LPE), IRISA Technical Report, Rennes Cedex, Ducasse M. , Le Charlier B. , Lin Y-J. , and Yalcinalp L. U. , Eds. 8\u201313."},{"key":"S1471068408003633_ref56","first-page":"271","volume-title":"Logic Programming, Proceedings of the Fourteenth International Conference (ICLP)","author":"Vaupel","year":"1997"},{"key":"S1471068408003633_ref9","unstructured":"Brain M. and de Vos M. 2005. Debugging logic programs under the answer set semantics. In Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd International ASP Workshop, CEUR Workshop Proceedings, de Vos M. and Provetti A. , Eds. 142 CEUR-WS.org, 142\u2013152."}],"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\/S1471068408003633","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,29]],"date-time":"2019-03-29T19:03:29Z","timestamp":1553886209000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068408003633\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1]]},"references-count":56,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,1]]}},"alternative-id":["S1471068408003633"],"URL":"https:\/\/doi.org\/10.1017\/s1471068408003633","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,1]]}}}