{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,29]],"date-time":"2026-09-29T20:56:58Z","timestamp":1790715418425,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540410942","type":"print"},{"value":"9783540399636","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-39963-1_55","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T03:54:19Z","timestamp":1187236459000},"page":"525-533","source":"Crossref","is-referenced-by-count":2,"title":["Rule Based Abduction"],"prefix":"10.1007","author":[{"given":"Sai","family":"Kiran Lakkaraju","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2002,7,2]]},"reference":[{"key":"55_CR1","doi-asserted-by":"crossref","unstructured":"A.C. Kakas, F. Toni and R.A. Kowalski, Abductive logic programming, Journal of Logic and Computation (1993) PP 719\u2013770.","DOI":"10.1093\/logcom\/2.6.719"},{"key":"55_CR2","unstructured":"A.C. Kakas and P. Mancarella, Database updates through abduction. In Proceedings of the 16th VLDB Conference, pp 650\u2013661, 1990."},{"key":"55_CR3","doi-asserted-by":"crossref","unstructured":"S. Lakkaraju and Y. Zhang, A Procedural Approach for Rule Based Update In Proceedings of AI-99.","DOI":"10.1007\/3-540-46695-9_40"},{"key":"55_CR4","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd, Foundations of Logic Programming, 2nd edition. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"55_CR5","doi-asserted-by":"crossref","unstructured":"C. Sakama and K. Inoue, Updating extended logic programs through abduction. In Proceedings of LPNMR-99, pp 147\u2013161, 1999.","DOI":"10.1007\/3-540-46767-X_11"},{"key":"55_CR6","unstructured":"Y. Zhang and N.Y. Foo, Updating logic programs. In Proceedings of the 13th Europen Conference on Artificial Intelligence (ECAI\u201998), pp 403\u2013407. John Wiley & Sons, Inc., 1998."}],"container-title":["Lecture Notes in Computer Science","Foundations of Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-39963-1_55","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T00:10:59Z","timestamp":1556755859000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-39963-1_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410942","9783540399636"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-39963-1_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000]]}}}