{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T22:12:23Z","timestamp":1767651143164},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642405631"},{"type":"electronic","value":"9783642405648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40564-8_53","type":"book-chapter","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T11:21:30Z","timestamp":1378984890000},"page":"530-542","source":"Crossref","is-referenced-by-count":23,"title":["Justifications for Logic Programming"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Viegas Dam\u00e1sio","sequence":"first","affiliation":[]},{"given":"Anastasia","family":"Analyti","sequence":"additional","affiliation":[]},{"given":"Grigoris","family":"Antoniou","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"53_CR1","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":"53_CR2","unstructured":"Brain, M., Vos, M.D.: Debugging logic programs under the answer set semantics. In: Proc. of ASP 2005 Workshop. CEUR Workshop Proceedings, vol.\u00a0142 (2005)"},{"key":"53_CR3","series-title":"Lecture Notes in Artificial Intelligence","first-page":"379","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C.V. Dam\u00e1sio","year":"2001","unstructured":"Dam\u00e1sio, C.V., Pereira, L.M.: Antitonic logic programs. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, pp. 379\u2013392. Springer, Heidelberg (2001)"},{"key":"53_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"748","DOI":"10.1007\/3-540-44652-4_66","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"C.V. Dam\u00e1sio","year":"2001","unstructured":"Dam\u00e1sio, C.V., Pereira, L.M.: Monotonic and residuated logic programs. In: Benferhat, S., Besnard, P. (eds.) ECSQARU 2001. LNCS (LNAI), vol.\u00a02143, pp. 748\u2013759. Springer, Heidelberg (2001)"},{"key":"53_CR5","unstructured":"Gebser, M., P\u00fchrer, J., Schaub, T., Tompits, H.: A meta-programming technique for debugging answer-set programs. In: AAAI 2008, pp. 448\u2013453. AAAI Press (2008)"},{"issue":"2","key":"53_CR6","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/j.jal.2009.09.001","volume":"8","author":"F. Geerts","year":"2010","unstructured":"Geerts, F., Poggi, A.: On database query languages for K-relations. J. Applied Logic\u00a08(2), 173\u2013185 (2010)","journal-title":"J. Applied Logic"},{"issue":"3","key":"53_CR7","first-page":"620","volume":"38","author":"A.V. Gelder","year":"1991","unstructured":"Gelder, A.V., Ross, K.A., Schlipf, J.S.: The Well-Founded Semantics for General Logic Programs. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"},{"key":"53_CR8","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Proc. of ICLP 1988, pp. 1070\u20131080. MIT Press (1988)"},{"key":"53_CR9","doi-asserted-by":"crossref","unstructured":"Green, T.J.: Containment of conjunctive queries on annotated relations. In: Proc. of Database Theory - ICDT 2009, vol.\u00a0361, pp. 296\u2013309 (2009)","DOI":"10.1145\/1514894.1514930"},{"key":"53_CR10","first-page":"31","volume-title":"Proc. of PODS 2007","author":"T.J. Green","year":"2007","unstructured":"Green, T.J., Karvounarakis, G., Tannen, V.: Provenance semirings. In: Proc. of PODS 2007, pp. 31\u201340. ACM, New York (2007)"},{"issue":"1-2","key":"53_CR11","doi-asserted-by":"publisher","first-page":"35","DOI":"10.3166\/jancl.16.35-86","volume":"16","author":"T. Janhunen","year":"2006","unstructured":"Janhunen, T.: Some (in)translatability results for normal logic programs and propositional theories. Journal of Applied Non-Classical Logics\u00a016(1-2), 35\u201386 (2006)","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"2","key":"53_CR12","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1145\/1131313.1131316","volume":"7","author":"V. Lifschitz","year":"2006","unstructured":"Lifschitz, V., Razborov, A.: Why are there so many loop formulas? ACM Trans. Comput. Logic\u00a07(2), 261\u2013268 (2006)","journal-title":"ACM Trans. Comput. Logic"},{"key":"53_CR13","unstructured":"Lin, F., Zhao, J.: On tight logic programs and yet another translation from normal logic programs to propositional logic. In: Proc. of IJCAI 2003, pp. 853\u2013858. Morgan Kaufmann Publishers Inc. (2003)"},{"issue":"3","key":"53_CR14","first-page":"59","volume":"33","author":"A. Meliou","year":"2010","unstructured":"Meliou, A., Gatterbauer, W., Halpern, J.Y., Koch, C., Moore, K.F., Suciu, D.: Causality in databases. IEEE Data Eng. Bull.\u00a033(3), 59\u201367 (2010)","journal-title":"IEEE Data Eng. Bull."},{"key":"53_CR15","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":"53_CR16","doi-asserted-by":"crossref","unstructured":"Pereira, L.M., Dam\u00e1sio, C.V., Alferes, J.J.: Diagnosis and debugging as contradiction removal. In: Proc. of LPNMR 1993, pp. 316\u2013330 (1993)","DOI":"10.1007\/3-540-57287-2_47"},{"issue":"1","key":"53_CR17","first-page":"1","volume":"9","author":"E. Pontelli","year":"2009","unstructured":"Pontelli, E., Son, T.C., El-Khatib, O.: Justifications for logic programs under answer set semantics. TPLP\u00a09(1), 1\u201356 (2009)","journal-title":"TPLP"},{"key":"53_CR18","unstructured":"Reiter, R., de Kleer, J.: Foundations of assumption-based truth maintenance systems: Preliminary report. In: Proc. of AAAI 1987, pp. 183\u2013189 (1987)"},{"key":"53_CR19","doi-asserted-by":"crossref","unstructured":"Roychoudhury, A., Ramakrishnan, C.R., Ramakrishnan, I.V.: Justifying proofs using memo tables. In: Proc. of PPDP, pp. 178\u2013189 (2000)","DOI":"10.1145\/351268.351290"},{"key":"53_CR20","unstructured":"Specht, G.: Generating explanation trees even for negations in deductive database systems. In: Proc. of LPE, pp. 8\u201313 (1993)"},{"issue":"4","key":"53_CR21","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden van","year":"1976","unstructured":"van Emden, M.H., Kowalski, R.A.: The semantics of predicate logic as a programming language. J. ACM\u00a023(4), 733\u2013742 (1976)","journal-title":"J. ACM"}],"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-40564-8_53","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T06:23:15Z","timestamp":1558074195000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40564-8_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405631","9783642405648"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40564-8_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}