{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:56:08Z","timestamp":1747810568777},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540238065"},{"type":"electronic","value":"9783540304982"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30498-2_40","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T19:21:59Z","timestamp":1294428119000},"page":"397-407","source":"Crossref","is-referenced-by-count":7,"title":["Well Founded Semantics for Logic Program Updates"],"prefix":"10.1007","author":[{"given":"F.","family":"Banti","sequence":"first","affiliation":[]},{"given":"J. J.","family":"Alferes","sequence":"additional","affiliation":[]},{"given":"A.","family":"Brogi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"40_CR1","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-540-24609-1_4","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"J.J. Alferes","year":"2003","unstructured":"Alferes, J.J., Banti, F., Brogi, A., Leite, J.A.: Semantics for dynamic logic programming: a principled based approach. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS (LNAI), vol.\u00a02923, pp. 8\u201320. Springer, Heidelberg (2003)"},{"issue":"1\u20133","key":"40_CR2","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0743-1066(99)00065-5","volume":"45","author":"J.J. Alferes","year":"2000","unstructured":"Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic updates of non-monotonic knowledge bases. The Journal of Logic Programming\u00a045(1\u20133), 43\u201370 (2000)","journal-title":"The Journal of Logic Programming"},{"key":"40_CR3","doi-asserted-by":"crossref","unstructured":"Alferes, J.J., Pereira, L.M., Przymusinska, H., Przymusinski, T.: LUPS: A language for updating logic programs. Artificial Intelligence\u00a0132(1&2) (2002)","DOI":"10.1016\/S0004-3702(02)00183-2"},{"key":"40_CR4","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19&20","author":"K.R. Apt","year":"1994","unstructured":"Apt, K.R., Bol, R.N.: Logic programming and negation: A survey. The Journal of Logic Programming\u00a019&20, 9\u201372 (1994)","journal-title":"The Journal of Logic Programming"},{"key":"40_CR5","first-page":"79","volume-title":"ICLP 1999","author":"F. Buccafurri","year":"1999","unstructured":"Buccafurri, F., Faber, W., Leone, N.: Disjunctive logic programs with inheritance. In: De Schreye, D. (ed.) ICLP 1999, pp. 79\u201393. MIT Press, Cambridge (1999)"},{"key":"40_CR6","series-title":"LNAI","volume-title":"Extensions of Logic Programming","author":"C.V. Dam\u00e1sio","year":"1996","unstructured":"Dam\u00e1sio, C.V., Pereira, L.M.: Default negation in the heads: why not? In: Herre, H., Dyckhoff, R., Schroeder-Heister, P. (eds.) ELP 1996. LNCS (LNAI), vol.\u00a01050. Springer, Heidelberg (1996)"},{"key":"40_CR7","first-page":"241","volume-title":"Handbook of Defeasible Reasoning and Uncertainty Management Systems","author":"C.V. Dam\u00e1sio","year":"1988","unstructured":"Dam\u00e1sio, C.V., Pereira, L.M.: A survey on paraconsistent semantics for extended logic programas. In: Gabbay, D.M., Smets, P. (eds.) Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol.\u00a02, pp. 241\u2013320. Kluwer, Dordrecht (1988)"},{"issue":"3","key":"40_CR8","doi-asserted-by":"crossref","first-page":"257","DOI":"10.3233\/FI-1995-2234","volume":"22","author":"J. Dix","year":"1995","unstructured":"Dix, J.: A classification theory of semantics of normal logic programs II: Weak properties. Fundamenta Mathematicae\u00a022(3), 257\u2013288 (1995)","journal-title":"Fundamenta Mathematicae"},{"key":"40_CR9","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1017\/S1471068401001247","volume":"2","author":"T. Eiter","year":"2002","unstructured":"Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: On properties of semantics based on causal rejection. Theory and Practice of Logic Programming\u00a02, 711\u2013767 (November 2002)","journal-title":"Theory and Practice of Logic Programming"},{"key":"40_CR10","doi-asserted-by":"crossref","unstructured":"Van Gelder, A.: The alternating fixpoint of logic programs with negation. Journal of Computer and System Sciences (1992)","DOI":"10.1016\/0022-0000(93)90024-Q"},{"issue":"3","key":"40_CR11","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"},{"key":"40_CR12","first-page":"579","volume-title":"7th ICLP","author":"M. Gelfond","year":"1990","unstructured":"Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Warren, Szeredi (eds.) 7th ICLP, pp. 579\u2013597. MIT Press, Cambridge (1990)"},{"key":"40_CR13","unstructured":"Leite, J.A.: Logic program updates. Master\u2019s thesis, Dept. de Inform\u00e1tica, Faculdade de Ci\u00eancias e Tecnologia, Universidade Nova de Lisboa (November 1997)"},{"key":"40_CR14","series-title":"Frontiers in Artificial Intelligence and Applications","volume-title":"Evolving Knowledge Bases","author":"J.A. Leite","year":"2002","unstructured":"Leite, J.A.: Evolving Knowledge Bases, December 2002. Frontiers in Artificial Intelligence and Applications, vol.\u00a081. IOS Press, Amsterdam (2002)"},{"key":"40_CR15","first-page":"265","volume-title":"JICSLP-1998","author":"J.A. Leite","year":"1998","unstructured":"Leite, J.A., Pereira, L.M.: Iterated logic program updates. In: Jaffar, J. (ed.) JICSLP-1998, pp. 265\u2013278. MIT Press, Cambridge (1998)"},{"key":"40_CR16","volume-title":"KR 1992","author":"V. Lifschitz","year":"1992","unstructured":"Lifschitz, V., Woo, T.: Answer sets in general non-monotonic reasoning (preliminary report). In: Nebel, B., Rich, C., Swartout, W. (eds.) KR 1992. Morgan Kaufmann, San Francisco (1992)"},{"key":"40_CR17","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/3-540-46767-X_11","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C. Sakama","year":"1999","unstructured":"Sakama, C., Inoue, K.: Updating extended logic programs through abduction. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol.\u00a01730, pp. 147\u2013161. Springer, Heidelberg (1999)"},{"key":"40_CR18","first-page":"403","volume-title":"ECAI 1998","author":"Y. Zhang","year":"1998","unstructured":"Zhang, Y., Foo, N.Y.: Updating logic programs. In: Prade, H. (ed.) ECAI 1998, pp. 403\u2013407. John Wiley & Sons, Chichester (1998)"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence \u2013 IBERAMIA 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30498-2_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:56:27Z","timestamp":1605743787000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30498-2_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540238065","9783540304982"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30498-2_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}