{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:58:04Z","timestamp":1725487084533},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540429609"},{"type":"electronic","value":"9783540456568"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45656-2_54","type":"book-chapter","created":{"date-parts":[[2007,7,2]],"date-time":"2007-07-02T11:46:10Z","timestamp":1183376770000},"page":"631-642","source":"Crossref","is-referenced-by-count":0,"title":["The Complexity of Logic Program Updates"],"prefix":"10.1007","author":[{"given":"Yan","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,2,14]]},"reference":[{"key":"54_CR1","unstructured":"J.J. Alferes, et al, Dynamic logic programming. In Proceedings of KR-98, pp 98\u2013109, 1998."},{"key":"54_CR2","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/BF01530761","volume":"12","author":"R. Ben-Eliyahu","year":"1994","unstructured":"R. Ben-Eliyahu and R. Dechter, Propositional semantics for disjunctive logic programs. Annals of Mathematics and Artificial Intelligence, 12 (1994) 53\u201387.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"54_CR3","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/S0004-3702(99)00015-6","volume":"109","author":"G. Brewka","year":"1999","unstructured":"G. Brewka and T. Eiter, Preferred answer sets for extended logic programs. Artificial Intelligence, 109 (1999) 297\u2013356.","journal-title":"Artificial Intelligence"},{"key":"54_CR4","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/BF01536399","volume":"15","author":"T. Eiter","year":"1995","unstructured":"T. Eiter and G. Gottlob, On the computational cost of disjunctive logic programming: Propositional case. Annals of Mathematics and Artificial Intelligence, 15 (1995) 289\u2013323.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"54_CR5","unstructured":"M. Garey and D. Johnson, Computers and Intractability, Freeman, San Franciso, 1979."},{"key":"54_CR6","unstructured":"M. Gelfond and V. Lifschitz, The stable model semantics for logic programming. In Proceedings of the Fifth Joint International Conference and Symposium, pp 1070\u20131080. MIT Press, 1988."},{"key":"54_CR7","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 (1991) 365\u2013386.","journal-title":"New Generation Computing"},{"key":"54_CR8","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S0004-3702(00)00016-3","volume":"119","author":"P. Liberatore","year":"2000","unstructured":"P. Liberatore, The complexity of belief update. Artificial Intelligence\n                           119 (2000) 141\u2013190.","journal-title":"Artificial Intelligence"},{"key":"54_CR9","doi-asserted-by":"crossref","unstructured":"T.C. Przymusinski and H. Turner, Update by means of inference rules. In Proceedings of LPNMR\u201995, pp 156\u2013174, 1995.","DOI":"10.1007\/3-540-59487-6_12"},{"key":"54_CR10","unstructured":"Zhang and N.Y. Foo, Answer sets for prioritized logic programs. In Proceedings of the 1997 International Logic Programming Symposium (ILPS\u201997), pp 69\u201383. MIT Press, 1997"},{"key":"54_CR11","unstructured":"Y. Zhang, Logic program based update (full version). Manuscript, November, 2000."}],"container-title":["Lecture Notes in Computer Science","AI 2001: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45656-2_54","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T10:59:38Z","timestamp":1550401178000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45656-2_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540429609","9783540456568"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-45656-2_54","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}