{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T14:50:19Z","timestamp":1725547819569},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422198"},{"type":"electronic","value":"9783540455172"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45517-5_9","type":"book-chapter","created":{"date-parts":[[2010,2,16]],"date-time":"2010-02-16T18:28:48Z","timestamp":1266344928000},"page":"71-81","source":"Crossref","is-referenced-by-count":0,"title":["On the Computational Aspect of Rule Based Database Updates"],"prefix":"10.1007","author":[{"given":"Yun","family":"Bai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,18]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"M. Gelfond and V. Lifschitz, Classical negation in logic programs and disjunctive databases. New Generation Computing, 9, pp365\u2013386, 1991.","journal-title":"New Generation Computing"},{"key":"9_CR2","unstructured":"V. Lifschitz and H. Turner, Splitting a logic program. In Proceedings of Eleventh International Conference on Logic Programming, pp23\u201337, 1994."},{"key":"9_CR3","unstructured":"J. J. Alferes and et al, Dynamic logic programming. In Proceedings of KR-98, pp98\u2013109, 1998."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"V. Marek and I. Pivkina and M. Truszcy\u0144ski, Annotated revision programs. In Proceedings of LPNMR\u201999, pp49\u201362, 1999.","DOI":"10.1007\/3-540-46767-X_4"},{"key":"9_CR5","unstructured":"I. Niemel\u00e4 and P. Simons, Efficient implementation of the well-founded and stable model semantics. In Proceedings of IJCSLP\u201996, pp 289\u2013303, 1996."},{"issue":"3","key":"9_CR6","first-page":"588","volume":"38","author":"V. W. Marek","year":"1991","unstructured":"V. W. Marek and M. Truszczy\u0144ski, Autoepistemic logic. Journal of the Association Machinery, 38(3), pp588\u2013619, 1991.","journal-title":"Journal of the Association Machinery"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"C.-M. Wu and Y. Zhang, Implementing prioritized logic programming. In Proceedings of ISMIS\u201999, pp 85\u201393, 1999.","DOI":"10.1007\/BFb0095093"},{"key":"9_CR8","unstructured":"Y. Zhang and N. Y. Foo, Answer sets for prioritized logic programs. In Proceedings of the 1997 International Logic Programming Symposium (ILPS\u201997), pp69\u201383, 1997."}],"container-title":["Lecture Notes in Computer Science","Engineering of Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45517-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T00:31:49Z","timestamp":1558830709000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45517-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422198","9783540455172"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-45517-5_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}