{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,5]],"date-time":"2025-03-05T08:10:14Z","timestamp":1741162214991,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642208942"},{"type":"electronic","value":"9783642208959"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-20895-9_13","type":"book-chapter","created":{"date-parts":[[2011,4,25]],"date-time":"2011-04-25T04:40:34Z","timestamp":1303706434000},"page":"134-147","source":"Crossref","is-referenced-by-count":12,"title":["Stepping through an Answer-Set Program"],"prefix":"10.1007","author":[{"given":"Johannes","family":"Oetsch","sequence":"first","affiliation":[]},{"given":"J\u00f6rg","family":"P\u00fchrer","sequence":"additional","affiliation":[]},{"given":"Hans","family":"Tompits","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1-2","key":"13_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0004-3702(02)00207-2","volume":"138","author":"M. Gelfond","year":"2002","unstructured":"Gelfond, M., Leone, N.: Logic programming and knowledge representation - the A-Prolog perspective. Artificial Intelligence\u00a0138(1-2), 3\u201338 (2002)","journal-title":"Artificial Intelligence"},{"key":"13_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-540-72200-7_5","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Brain","year":"2007","unstructured":"Brain, M., Gebser, M., P\u00fchrer, J., Schaub, T., Tompits, H., Woltran, S.: Debugging ASP programs by means of ASP. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol.\u00a04483, pp. 31\u201343. Springer, Heidelberg (2007)"},{"key":"13_CR3","unstructured":"Syrj\u00e4nen, T.: Debugging inconsistent answer set programs. In: Proc. NMR 2006, pp. 77\u201383 (2006)"},{"key":"13_CR4","first-page":"448","volume-title":"Proc. AAAI 2008","author":"M. Gebser","year":"2008","unstructured":"Gebser, M., P\u00fchrer, J., Schaub, T., Tompits, H.: A meta-programming technique for debugging answer-set programs. In: Proc. AAAI 2008, pp. 448\u2013453. AAAI Press, Menlo Park (2008)"},{"issue":"4-6","key":"13_CR5","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1017\/S1471068410000256","volume":"10","author":"J. Oetsch","year":"2010","unstructured":"Oetsch, J., P\u00fchrer, J., Tompits, H.: Catching the Ouroboros: Towards debugging non-ground answer-set programs. Theory and Practice of Logic Programming\u00a010(4-6), 513\u2013529 (2010)","journal-title":"Theory and Practice of Logic Programming"},{"key":"13_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30227-8_19","volume-title":"Logics in Artificial Intelligence","author":"W. Faber","year":"2004","unstructured":"Faber, W., Leone, N., Pfeifer, G.: Recursive aggregates in disjunctive logic programs: Semantics and complexity. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 200\u2013212. Springer, Heidelberg (2004)"},{"issue":"3-4","key":"13_CR7","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing\u00a09(3-4), 365\u2013386 (1991)","journal-title":"New Generation Computing"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Shapiro, E.Y.: Algorithmic Program Debugging. PhD thesis, Yale University, New Haven, CT, USA (May 1982)","DOI":"10.7551\/mitpress\/1192.001.0001"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/978-3-642-04238-6_75","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Denecker","year":"2009","unstructured":"Denecker, M., Vennekens, J., Bond, S., Gebser, M., Truszczy\u0144ski, M.: The second answer set programming competition. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 637\u2013654. Springer, Heidelberg (2009)"},{"key":"13_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"702","DOI":"10.1007\/978-3-540-30227-8_61","volume-title":"Logics in Artificial Intelligence","author":"A. B\u00f6sel","year":"2004","unstructured":"B\u00f6sel, A., Linke, T., Schaub, T.: Profiling answer set programming: The visualization component of the noMoRe system. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 702\u2013705. Springer, Heidelberg (2004)"},{"issue":"1","key":"13_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S1471068408003633","volume":"9","author":"E. Pontelli","year":"2009","unstructured":"Pontelli, E., Son, T.C., El-Khatib, O.: Justifications for logic programs under answer set semantics. Theory and Practice of Logic Programming\u00a09(1), 1\u201356 (2009)","journal-title":"Theory and Practice of Logic Programming"},{"key":"13_CR12","unstructured":"Calimeri, F., Leone, N., Ricca, F., Veltri, P.: A visual tracer for DLV. In: Proc. SEA 2009 (2009)"},{"issue":"1-3","key":"13_CR13","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0743-1066(99)00076-X","volume":"44","author":"N. Iwayama","year":"2000","unstructured":"Iwayama, N., Satoh, K.: Computing abduction by using TMS with top-down expectation. Journal of Logic Programming\u00a044(1-3), 179\u2013206 (2000)","journal-title":"Journal of Logic Programming"},{"issue":"4","key":"13_CR14","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1093\/logcom\/exn040","volume":"19","author":"M. Gebser","year":"2009","unstructured":"Gebser, M., Gharib, M., Mercer, R.E., Schaub, T.: Monotonic answer set programming. Journal of Logic and Computation\u00a019(4), 539\u2013564 (2009)","journal-title":"Journal of Logic and Computation"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20895-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,5]],"date-time":"2025-03-05T07:41:26Z","timestamp":1741160486000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20895-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642208942","9783642208959"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20895-9_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}