{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:56Z","timestamp":1761611216192},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430308"},{"type":"electronic","value":"9783540453291"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45329-6_27","type":"book-chapter","created":{"date-parts":[[2007,10,26]],"date-time":"2007-10-26T02:44:33Z","timestamp":1193366673000},"page":"261-275","source":"Crossref","is-referenced-by-count":4,"title":["A Modified Semantics for LUPS"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o Alexandre","family":"Leite","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,4,23]]},"reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, and T. Przymusinski. Dynamic updates of non-monotonic knowledge bases. Journal of Logic Programming, 45(1\u20133):43\u201370, 2000. Abstract titled Dynamic Logic Programming appeared in Procs. of KR-98.","DOI":"10.1016\/S0743-1066(99)00065-5"},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"J. J. Alferes, L. M. Pereira, H. Przymusinska, and T. Przymusinski. LUPS: A language for updating logic programs. In Procs. of LPNMR-99, LNAI-1730. Springer, 1999.","DOI":"10.1007\/3-540-46767-X_12"},{"key":"27_CR3","unstructured":"F. Buccafurri, W. Faber, and N. Leone. Disjunctive logic programs with inheritance. In Procs. of ICLP-99. MIT Press, 1999."},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"T. Eiter, M. Fink, G. Sabbatini, and H. Tompits. Considerations on updates of logic programs. In Procs. of JELIA-00, LNAI-1919. Springer, 2000.","DOI":"10.1007\/3-540-40006-0_2"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"T. Eiter, M. Fink, G. Sabbatini, and H. Tompits. Specifying update policies for nonmonotonic knowledge bases. In Procs. of DGNMR-01, 2001. To appear in Procs. of IJCAI-01.","DOI":"10.1007\/3-540-45653-8_28"},{"key":"27_CR6","unstructured":"M. Gelfond and V. Lifschitz. The stable semantics for logic programs. In Procs. of ICLP-88. MIT Press, 1988."},{"key":"27_CR7","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0743-1066(97)10001-2","volume":"35","author":"K. Inoue","year":"1998","unstructured":"K. Inoue and C. Sakama. Negation as failure in the head. Journal of Logic Programming, 35:39\u201378, 1998.","journal-title":"Journal of Logic Programming"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"H. Katsuno and A. Mendelzon. On the difference between updating a knowledge base and revising it. In Procs. of KR-91. Morgan Kaufmann, 1991.","DOI":"10.1017\/CBO9780511526664.007"},{"key":"27_CR9","unstructured":"J. A. Leite and L. M. Pereira. Generalizing updates: From models to programs. In Procs of. LPKR-97, LNAI-1471. Springer, 1997."},{"key":"27_CR10","unstructured":"J. A. Leite and L. M. Pereira. Iterated logic program updates. In Procs. of JICSLP-98. MIT Press, 1998."},{"key":"27_CR11","unstructured":"V. Lifschitz and T. Woo. Answer sets in general non-monotonic reasoning (preliminary report). In Procs. of KR-92. Morgan-Kaufmann, 1992."},{"key":"27_CR12","unstructured":"V. W. Marek and M. Truszczy\u0144ski. Revision specifications by means of programs. In Procs. of JELIA-94, LNAI-838. Springer, 1994."},{"issue":"2","key":"27_CR13","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0743-1066(96)00091-X","volume":"30","author":"T. C. Przymusinski","year":"1997","unstructured":"T. C. Przymusinski and H. Turner. Update by means of inference rules. Journal of Logic Programming, 30(2):125\u2013143, 1997.","journal-title":"Journal of Logic Programming"},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"C. Sakama and K. Inoue. Updating extended logic programs through abduction. In Procs. of LPNMR-99. Springer, 1999.","DOI":"10.1007\/3-540-46767-X_11"},{"key":"27_CR15","unstructured":"M. Winslett. Reasoning about action using a possible models approach. In Procs. of NCAI-88. AAAI Press, 1988."},{"key":"27_CR16","unstructured":"Y. Zhang and N. Foo. Updating logic programs. In Procs. of ECAI\u201998. Morgan Kaufmann, 1998."}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45329-6_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,26]],"date-time":"2021-08-26T07:09:58Z","timestamp":1629961798000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45329-6_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430308","9783540453291"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-45329-6_27","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}