{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:42:44Z","timestamp":1780994564909,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540885931","type":"print"},{"value":"9783540885948","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-88594-8_8","type":"book-chapter","created":{"date-parts":[[2008,10,20]],"date-time":"2008-10-20T09:36:43Z","timestamp":1224495403000},"page":"143-159","source":"Crossref","is-referenced-by-count":21,"title":["A Theoretical Framework for the Declarative Debugging of Datalog Programs"],"prefix":"10.1007","author":[{"given":"R.","family":"Caballero","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Y.","family":"Garc\u00eda-Ruiz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"F.","family":"S\u00e1enz-P\u00e9rez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"2","key":"8_CR1","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0743-1066(94)00039-9","volume":"23","author":"R. Ramakrishnan","year":"1993","unstructured":"Ramakrishnan, R., Ullman, J.: A survey of research on Deductive Databases. The Journal of Logic Programming\u00a023(2), 125\u2013149 (1993)","journal-title":"The Journal of Logic Programming"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Beeri, C., Ramakrishnan, R.: On the power of magic. In: Proceedings of the Sixth ACM Symposium on Principles of Database Systems, pp. 269\u2013284 (1987)","DOI":"10.1145\/28659.28689"},{"key":"8_CR3","unstructured":"Dietrich, S.W.: Extension tables: Memo relations in logic programming. In: SLP, pp. 264\u2013272 (1987)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Arora, T., Ramakrishnan, R., Roth, W.G., Seshadri, P., Srivastava, D.: Explaining program execution in deductive systems. In: Deductive and Object-Oriented Databases, pp. 101\u2013119 (1993)","DOI":"10.1007\/3-540-57530-8_7"},{"key":"8_CR5","unstructured":"Wieland, C.: Two explanation facilities for the deductive database management system DeDEx. In: Kangassalo, H. (ed.) ER 1990, pp. 189\u2013203, ER Institute (1990)"},{"key":"8_CR6","unstructured":"Specht, G.: Generating explanation trees even for negations in deductive database systems. In: Proceedings of the 5th Workshop on Logic Programming Environments, Vancouver, Canada (1993)"},{"key":"8_CR7","first-page":"433","volume-title":"Proceedings of the First Russian Conference on Logic Programming","author":"F. Russo","year":"1992","unstructured":"Russo, F., Sancassani, M.: A declarative debugging environment for Datalog. In: Proceedings of the First Russian Conference on Logic Programming, pp. 433\u2013441. Springer, London (1992)"},{"key":"8_CR8","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)"},{"key":"8_CR9","unstructured":"Syrj\u00e4nen, T.: Debugging inconsistent answer set programs. In: Proceedings of the 11th International Workshop on Non-Monotonic Reasoning, Lake District, UK, pp. 77\u201384 (May 2006)"},{"key":"8_CR10","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":"8_CR11","unstructured":"Caballero, R., Garc\u00eda-Ruiz, Y., S\u00e1enz-P\u00e9rez, F.: A new proposal for debugging datalog programs. In: 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007) (June 2007)"},{"key":"8_CR12","volume-title":"ACM Distiguished Dissertation","author":"E. Shapiro","year":"1982","unstructured":"Shapiro, E.: Algorithmic Program Debugging. In: ACM Distiguished Dissertation. MIT Press, Cambridge (1982)"},{"key":"8_CR13","unstructured":"S\u00e1enz-P\u00e9rez, F.: Datalog Educational System. User\u2019s Manual. Technical Report 139-04, Facultad de Inform\u00e1tica, Universidad Complutense de Madrid (2004), http:\/\/des.sourceforge.net\/"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Foundations of deductive databases and logic programming","author":"K.R. Apt","year":"1988","unstructured":"Apt, K.R., Blair, H.A., Walker, A.: Towards a theory of declarative knowledge. In: Foundations of deductive databases and logic programming, pp. 89\u2013148. Morgan Kaufmann Publishers Inc., San Francisco (1988)"},{"key":"8_CR15","unstructured":"Ullman, J.: Database and Knowledge-Base Systems Vols. I (Classical Database Systems) and II (The New Technologies). Computer Science Press (1995)"},{"issue":"1","key":"8_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(85)90002-0","volume":"2","author":"A.K. Chandra","year":"1985","unstructured":"Chandra, A.K., Harel, D.: Horn clauses queries and generalizations. J. Log. Program.\u00a02(1), 1\u201315 (1985)","journal-title":"J. Log. Program."},{"key":"8_CR17","first-page":"1070","volume-title":"Proceedings of the Fifth International Conference on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K. (eds.) Proceedings of the Fifth International Conference on Logic Programming, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Naish, L.: A Declarative Debugging Scheme. Journal of Functional and Logic Programming\u00a03 (1997)","DOI":"10.7551\/mitpress\/4299.001.0001"},{"key":"8_CR19","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/1085099.1085102","volume-title":"WCFLP 2005: Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming","author":"R. Caballero","year":"2005","unstructured":"Caballero, R.: A declarative debugger of incorrect answers for constraint functional-logic programs. In: WCFLP 2005: Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming, pp. 8\u201313. ACM Press, New York (2005)"}],"container-title":["Lecture Notes in Computer Science","Semantics in Data and Knowledge Bases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88594-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T16:12:16Z","timestamp":1557850336000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88594-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540885931","9783540885948"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88594-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}