{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T17:26:10Z","timestamp":1778520370191,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540222538","type":"print"},{"value":"9783540248361","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24836-1_12","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T19:50:55Z","timestamp":1281297055000},"page":"163-177","source":"Crossref","is-referenced-by-count":8,"title":["Simplifying Dynamic Programming via Tabling"],"prefix":"10.1007","author":[{"given":"Hai-Feng","family":"Guo","sequence":"first","affiliation":[]},{"given":"Gopal","family":"Gupta","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Applied Logic Systems, Inc., http:\/\/www.als.com"},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/BF01530953","volume":"10","author":"A. Brown","year":"1994","unstructured":"Brown, A., Mantha, S., Wakayama, T.: Preference Logics: Towards a Unified Approach to Non-Monotonicity in Deductive Reasoning. Annals of Mathematics and Artificial Intelligence\u00a010, 233\u2013280 (1994)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Chen, W., Warren, D.S.: Query Evaluation under the Well Founded Semantics. In: ACM Symposium on Principles of Database Systems, pp. 168\u2013179 (1993)","DOI":"10.1145\/153850.153865"},{"key":"12_CR4","volume-title":"Introduction to Algorithms","author":"T.H. Cormen","year":"2001","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to Algorithms. The MIT Press, Cambridge (2001)"},{"issue":"1-2","key":"12_CR5","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0004-3702(02)00185-6","volume":"138","author":"B. Cui","year":"2002","unstructured":"Cui, B., Swift, T.: Preference Logic Grammars: Fixed Point Semantics and Application to Data Standardization. Artificial Intelligence\u00a0138(1-2), 117\u2013147 (2002)","journal-title":"Artificial Intelligence"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Govindarajan, K., Jayaraman, B., Mantha, S.: Preference Logic Programming. In: Proceedings of International Conference on Logic Programming (ICLP), pp. 731\u2013745 (1995)","DOI":"10.7551\/mitpress\/4298.003.0070"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Guo, H.-F., Gupta, G.: A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives. In: Proceedings of International Conference on Logic Programming (ICLP), pp. 181\u2013196 (2001)","DOI":"10.1007\/3-540-45635-X_20"},{"key":"12_CR8","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":"12_CR9","doi-asserted-by":"crossref","unstructured":"Pemmasani, G., Guo, H.-F., Dong, Y., Ramakrishnan, C.R., Ramakrishnan, I.V.: Online Justification for Tabled Logic Programs. To appear in Proceedings of International Symposium of Functional and Logic Programming (April 2004)","DOI":"10.1007\/978-3-540-24754-8_4"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/3-540-63166-6_16","volume-title":"Computer Aided Verification","author":"Y.S. Ramakrishnan","year":"1997","unstructured":"Ramakrishnan, Y.S., Ramakrishnan, C.R., Ramakrishnan, I.V., Smolka, S.A., Swift, T., Warren, D.S.: Efficient Model Checking using Tabled Resolution. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 143\u2013154. Springer, Heidelberg (1997)"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Rocha, R., Silva, F., Costa, V.S.: On a Tabling Engine That Can Exploit Or-Parallelism. In: ICLP Proceedings, pp. 43\u201358 (2001)","DOI":"10.1007\/3-540-45635-X_11"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Roychoudhury, A., Ramakrishnan, C.R., Ramakrishnan, I.V.: Justifying proofs using memo tables. In: Second International ACM SIGPLAN conference on Principles and Practice of Declarative Programming (PPDP), pp. 178\u2013189 (2000)","DOI":"10.1145\/351268.351290"},{"key":"12_CR13","unstructured":"Specht, G.: Generating Explanation Trees even for Negations in Deductive Database Systems. In: Proc. of the 5th Workshop of Logic Programming Environments (1992)"},{"issue":"3-4","key":"12_CR14","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1023\/A:1018990308362","volume":"25","author":"T. Swift","year":"1999","unstructured":"Swift, T.: Tabling for Non-Monotonic Programming. Annals of Mathematics and Artificial Intelligence\u00a025(3-4), 201\u2013240 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"12_CR15","unstructured":"XSB system, http:\/\/xsb.sourceforge.net"},{"key":"12_CR16","unstructured":"Warren, D.S.: Programming in Tabled Prolog (Draft Book), http:\/\/www.cs.sunysb.edu\/~warren"},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/3-540-46584-7_8","volume-title":"Practical Aspects of Declarative Languages","author":"Y. Neng-Fa Zhou","year":"2000","unstructured":"Neng-Fa Zhou, Y., Shen, L.: Implementation of a Linear Tabling Mechanism. In: Pontelli, E., Santos Costa, V. (eds.) PADL 2000. LNCS, vol.\u00a01753, p. 109. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24836-1_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,29]],"date-time":"2024-03-29T05:56:56Z","timestamp":1711691816000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24836-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222538","9783540248361"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24836-1_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}