{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:45Z","timestamp":1761611265195},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540214021"},{"type":"electronic","value":"9783540247548"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24754-8_4","type":"book-chapter","created":{"date-parts":[[2010,7,7]],"date-time":"2010-07-07T16:28:24Z","timestamp":1278520104000},"page":"24-38","source":"Crossref","is-referenced-by-count":21,"title":["Online Justification for Tabled Logic Programs"],"prefix":"10.1007","author":[{"given":"Giridhar","family":"Pemmasani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hai-Feng","family":"Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yifei","family":"Dong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C. R.","family":"Ramakrishnan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I. V.","family":"Ramakrishnan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39979-7_6","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2003","author":"S. Basu","year":"2003","unstructured":"Basu, S., Saha, D., Lin, Y.-J., Smolka, S.A.: Generation of all counter-examples for push-down systems. In: K\u00f6nig, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol.\u00a02767, Springer, Heidelberg (2003)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Cameron, M., Garc\u00eda de la Banda, M., Marriott, K., Moulder, P.: Vimer: a visual debugger for mercury. In: Proceedings of the 5th ACM SIGPLAN (2003)","DOI":"10.1145\/888251.888258"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Grumberg, O., McMillan, K.L., Zhao, X.: Efficient generation of countterexamples and witnesses in symbolic model checking. In: 32nd Design Automation Conference (1995)","DOI":"10.1145\/217474.217565"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10722311","volume-title":"Analysis and Visualization Tools for Constraint Programming: Constraint Debugging","author":"P. Deransart","year":"2000","unstructured":"Deransart, P., Hermenegildo, M., Maluszynski, J.: DiSCiPl 1999. LNCS, vol.\u00a01870. Springer, Heidelberg (2000)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-540-45069-6_22","volume-title":"Computer Aided Verification","author":"Y. Dong","year":"2003","unstructured":"Dong, Y., Ramakrishnan, C.R., Smolka, S.A.: Evidence Explorer: A tool for exploring model-checking proofs. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol.\u00a02725, pp. 215\u2013218. Springer, Heidelberg (2003)"},{"key":"4_CR6","unstructured":"Dong, Y., Ramakrishnan, C.R.: Logic programming optimizations for faster model checking. In: TAPD, Vigo, Spain (September 2000)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Freire, J., Swift, T., Warren, D.S.: Beyond depth-first: Improving tabled logic programs through alternative scheduling strategies. In: PLILP (1996)","DOI":"10.1007\/3-540-61756-6_89"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/3-540-45635-X_20","volume-title":"Logic Programming","author":"H.-F. Guo","year":"2001","unstructured":"Guo, H.-F., Gupta, G.: A simple scheme for implementing tabled logic programming systems based on dynamic reordering of alternatives. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol.\u00a02237, p. 181. Springer, Heidelberg (2001)"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/3-540-45635-X_18","volume-title":"Logic Programming","author":"H.-F. Guo","year":"2001","unstructured":"Guo, H.-F., Ramakrishnan, C.R., Ramakrishnan, I.V.: Speculative beats conservative justification. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol.\u00a02237, p. 150. Springer, Heidelberg (2001)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W.: Declarative error diagnosis. New Generation Computing (1987)","DOI":"10.1007\/BF03037396"},{"key":"4_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)"},{"key":"4_CR12","unstructured":"Mallet, S., Ducasse, M.: Generating deductive database explanations. In: ICLP (1999)"},{"key":"4_CR13","unstructured":"Naish, L., Dart, P.W., Zobel, J.: The NU-Prolog debugging environment. In: ICLP (1999)"},{"key":"4_CR14","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.: A framework for assertion-based debugging in constraint logic programming. In: Bossi, A. (ed.) LOPSTR 1999. LNCS, vol.\u00a01817, Springer, Heidelberg (2000)"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_48","volume-title":"Computer Aided Verification","author":"C.R. Ramakrishnan","year":"2000","unstructured":"Ramakrishnan, C.R., Ramakrishnan, I.V., Smolka, S.A., Dong, Y., Du, X., Roychoudhury, A., Venkatakrishnan, V.N.: XMC: A logic programming-based verification toolset. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, Springer, Heidelberg (2000)"},{"key":"4_CR16","unstructured":"Roop, P.: Forced Simulation: A Formal Approach to Component Based Development of Embedded Systems. PhD thesis, Computer Science and Engineering, University of New South Wales (2000)"},{"key":"4_CR17","volume-title":"Principles and Practice of Declarative Programming","author":"A. Roychoudhury","year":"2000","unstructured":"Roychoudhury, A., Ramakrishnan, C.R., Ramakrishnan, I.V.: Justifying proofs using memo tables. In: Principles and Practice of Declarative Programming. ACM Press, New York (2000)"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Shapiro, E.: Algorithmic program diagnosis. In: Proceedings of POPL 1982 (1982)","DOI":"10.1145\/582153.582185"},{"key":"4_CR19","unstructured":"Specht, G.: Generating explanation trees even for negations in deductive database systems. In: ILPS 1993 Workshop on Logic Programming Environments (1993)"},{"key":"4_CR20","unstructured":"Swift, T., Warren, D.S.: An abstract machine for SLG resolution: definite programs. In: Proceedings of the Symposium on Logic Programming (1994)"},{"key":"4_CR21","unstructured":"D.S. Warren. Programming in Tabled Prolog (1999), Early draft available at http:\/\/www.cs.sunysb.edu\/~warren\/xsbbook\/book.html"},{"key":"4_CR22","unstructured":"XSB. The XSB logic programming system, Available at http:\/\/xsb.sourceforge.net"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24754-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T17:40:12Z","timestamp":1559238012000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24754-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540214021","9783540247548"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24754-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}