{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:41:51Z","timestamp":1750308111062,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,19]],"date-time":"2005-09-19T00:00:00Z","timestamp":1127088000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,9,19]]},"DOI":"10.1145\/1085130.1085137","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T17:34:39Z","timestamp":1131384879000},"page":"49-58","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Justification and debugging of answer set programs in ASP"],"prefix":"10.1145","author":[{"given":"Omar","family":"El-Khatib","sequence":"first","affiliation":[{"name":"New Mexico State University"}]},{"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[{"name":"New Mexico State University"}]},{"given":"Tran Cao","family":"Son","sequence":"additional","affiliation":[{"name":"New Mexico State University"}]}],"member":"320","published-online":{"date-parts":[[2005,9,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"C. Baral. Knowledge Representation Reasoning and Declarative Problem Solving Cambridge Press 2003.   C. Baral. Knowledge Representation Reasoning and Declarative Problem Solving Cambridge Press 2003.","DOI":"10.1017\/CBO9780511543357"},{"key":"e_1_3_2_1_2_1","volume-title":"AADEBUG","author":"Boye J.","year":"1997","unstructured":"J. Boye Declarative Diagnosis of Constraint Programs . AADEBUG , 1997 . J. Boye et al. Declarative Diagnosis of Constraint Programs. AADEBUG, 1997."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/646913.710980"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(93)90107-5"},{"key":"e_1_3_2_1_5_1","volume-title":"FGCS","author":"Drabent W.","year":"1988","unstructured":"W. Drabent . The Use of Assertions in Algorithmic Debugging . FGCS , 1988 . W. Drabent. The Use of Assertions in Algorithmic Debugging. FGCS, 1988."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/645522.656475"},{"key":"e_1_3_2_1_7_1","volume-title":"A System for Reasoning about ASP in Prolog. PADL","author":"Elkhatib O.","year":"2004","unstructured":"O. Elkhatib A System for Reasoning about ASP in Prolog. PADL , Springer , 2004 . O. Elkhatib et al. A System for Reasoning about ASP in Prolog. PADL, Springer, 2004."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(87)90001-X"},{"key":"e_1_3_2_1_9_1","volume-title":"MIT","author":"Gelfond M.","year":"1988","unstructured":"M. Gelfond and V. Lifschitz . The Stable Model Semantics for Logic Programs. JICSLP , MIT , 1988 . M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programs. JICSLP, MIT, 1988."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/645521.656152"},{"key":"e_1_3_2_1_11_1","volume-title":"Parallelism and Implementation of Logic Programming","author":"Hermenegildo M.","year":"1999","unstructured":"M. Hermenegildo The CIAO Multi-Dialect Compiler and System . Parallelism and Implementation of Logic Programming , Nova Science , 1999 . M. Hermenegildo et al. The CIAO Multi-Dialect Compiler and System. Parallelism and Implementation of Logic Programming, Nova Science, 1999."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.02.006"},{"key":"e_1_3_2_1_13_1","volume-title":"A Propagation Tracer for GNU-Prolog. ICLP","author":"Langevine L.","year":"2003","unstructured":"L. Langevine A Propagation Tracer for GNU-Prolog. ICLP , Springer Verlag , 2003 . L. Langevine et al. A Propagation Tracer for GNU-Prolog. ICLP, Springer Verlag, 2003."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037396"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"e_1_3_2_1_16_1","first-page":"521","volume-title":"ICLP","author":"Naish L.","year":"1989","unstructured":"L. Naish The NU-Prolog Debugging Environment . ICLP , pages 521 -- 536 , 1989 . L. Naish et al. The NU-Prolog Debugging Environment. ICLP, pages 521--536, 1989."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018930122475"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24754-8_4"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/502175.502185"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/351268.351290"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582185"},{"key":"e_1_3_2_1_22_1","unstructured":"T. Syrj\u00e4nen. Lparse User's Manual. http:\/\/www.tcs.hut.fi\/Software\/smodels\/.  T. Syrj\u00e4nen. Lparse User's Manual. http:\/\/www.tcs.hut.fi\/Software\/smodels\/."},{"key":"e_1_3_2_1_23_1","volume-title":"AADEBUG","author":"Yuh J.L.","year":"1993","unstructured":"J.L. Yuh and N. Dershowitz . Debugging Logic Programs using Specifications . AADEBUG , 1993 . J.L. Yuh and N. Dershowitz. Debugging Logic Programs using Specifications. AADEBUG, 1993."}],"event":{"name":"AADEBUG05: AADEBUG '05 - Sixth International Symposium on Automated and Analysis Driven Debugging","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Monterey California USA","acronym":"AADEBUG05"},"container-title":["Proceedings of the sixth international symposium on Automated analysis-driven debugging"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1085130.1085137","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1085130.1085137","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:11Z","timestamp":1750262891000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1085130.1085137"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,19]]},"references-count":23,"alternative-id":["10.1145\/1085130.1085137","10.1145\/1085130"],"URL":"https:\/\/doi.org\/10.1145\/1085130.1085137","relation":{},"subject":[],"published":{"date-parts":[[2005,9,19]]},"assertion":[{"value":"2005-09-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}