{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T02:47:10Z","timestamp":1768445230615,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540366355","type":"print"},{"value":"9783540366362","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11799573_16","type":"book-chapter","created":{"date-parts":[[2006,8,7]],"date-time":"2006-08-07T08:25:42Z","timestamp":1154939142000},"page":"196-210","source":"Crossref","is-referenced-by-count":10,"title":["Justifications for Logic Programs Under Answer Set Semantics"],"prefix":"10.1007","author":[{"given":"Enrico","family":"Pontelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tran Cao","family":"Son","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11591191_8","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"C. Anger","year":"2005","unstructured":"Anger, C., et al.: The nomore++ Approach to Answer Set Solving. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS, vol.\u00a03835. Springer, Heidelberg (2005)"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Apt, K., Bol, R.: Logic Programming and Negation: A Survey. J. Log. Program.\u00a019\/20 (1994)","DOI":"10.1016\/0743-1066(94)90024-8"},{"key":"16_CR3","unstructured":"Auguston, M.: Assertion Checker for the C Programming Language. AADEBUG (2000)"},{"key":"16_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning, and Declarative Problem Solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"issue":"5","key":"16_CR5","first-page":"497","volume":"1","author":"S. Brass","year":"2001","unstructured":"Brass, S., et al.: Transformation-based bottom-up computation of the well-founded model. TPLP\u00a01(5), 497\u2013538 (2001)","journal-title":"TPLP"},{"issue":"5","key":"16_CR6","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/S0020-0190(02)00290-9","volume":"84","author":"S. Costantini","year":"2002","unstructured":"Costantini, S., et al.: On the Equivalence and Range of Applicability of Graph-based Representations of Logic Programs. Information Processing Letters\u00a084(5), 241\u2013249 (2002)","journal-title":"Information Processing Letters"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Ducass\u00e9, M.: Opium: an Extendable Trace Analyzer for Prolog. J. Logic Progr.\u00a039 (1999)","DOI":"10.1016\/S0743-1066(98)10036-5"},{"key":"16_CR8","volume-title":"PADL","author":"O. Elkhatib","year":"2004","unstructured":"Elkhatib, O., et al.: A System for Reasoning about ASP in Prolog. In: PADL. Springer, Heidelberg (2004)"},{"key":"16_CR9","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programs. ILPS (1988)"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/11562931_6","volume-title":"Logic Programming","author":"E. Giunchiglia","year":"2005","unstructured":"Giunchiglia, E., Maratea, M.: On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels). In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol.\u00a03668, pp. 37\u201351. Springer, Heidelberg (2005)"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1007\/3-540-45757-7_50","volume-title":"Logics in Artificial Intelligence","author":"N. Leone","year":"2002","unstructured":"Leone, N., Pfeifer, G., Faber, W., Calimeri, F., Dell\u2019Armi, T., Eiter, T., Gottlob, G., Ianni, G., Ielpa, G., Koch, C., Perri, S., Polleres, A.: The DLV system. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS, vol.\u00a02424, p. 537. Springer, Heidelberg (2002)"},{"key":"16_CR12","volume-title":"ICLP","author":"S. Mallet","year":"1999","unstructured":"Mallet, S., Ducasse, M.: Generating Deductive Database Explanations. In: ICLP. MIT, Cambridge (1999)"},{"key":"16_CR13","volume-title":"The Logic Programming Paradigm","author":"V.W. Marek","year":"1999","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Stable Models and an Alternative Logic Programming Paradigm. In: The Logic Programming Paradigm. Springer, Heidelberg (1999)"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/978-3-540-24754-8_4","volume-title":"Functional and Logic Programming","author":"G. Pemmasani","year":"2004","unstructured":"Pemmasani, G., Guo, H.-F., Dong, Y., Ramakrishnan, C.R., Ramakrishnan, I.V.: Online Justification for Tabled Logic Programs. In: Kameyama, Y., Stuckey, P.J. (eds.) FLOPS 2004. LNCS, vol.\u00a02998, pp. 24\u201338. Springer, Heidelberg (2004)"},{"key":"16_CR15","unstructured":"Pineda, A.: Object-oriented programming library O\u2019Ciao. TR 6\/99.0, UPM Madrid (1999)"},{"key":"16_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10720327_16","volume-title":"Logic-Based Program Synthesis and Transformation","author":"G. Puebla","year":"2000","unstructured":"Puebla, G., Bueno, F., Hermenegildo, M.V.: A Framework for Assertion-based Debugging in Constraint Logic Programming. In: Bossi, A. (ed.) LOPSTR 1999. LNCS, vol.\u00a01817. Springer, Heidelberg (2000)"},{"key":"16_CR17","volume-title":"PPDP 2000","author":"A. Roychoudhury","year":"2000","unstructured":"Roychoudhury, A., et al.: Justifying Proofs Using Memo Tables. In: PPDP. ACM Press, New York (2000)"},{"key":"16_CR18","volume-title":"POPL 1982","author":"E. Shapiro","year":"1982","unstructured":"Shapiro, E.: Algorithmic Program Diagnosis. In: POPL. ACM Press, New York (1982)"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Simons, P., et al.: Extending and Implementing the Stable Model Semantics. Artif. Intell.\u00a0138(1-2) (2002)","DOI":"10.1016\/S0004-3702(02)00187-X"},{"key":"16_CR20","unstructured":"Specht, G.: Generating Explanation Trees even for Negation in Deductive Databases. In: Workshop on Logic Programming Environments, Vancouver, pp. 8\u201313 (1993)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11799573_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:11:12Z","timestamp":1605625872000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11799573_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540366355","9783540366362"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11799573_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}