{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:13:11Z","timestamp":1725574391098},"publisher-location":"Berlin, Heidelberg","reference-count":17,"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_38","type":"book-chapter","created":{"date-parts":[[2011,1,8]],"date-time":"2011-01-08T00:21:59Z","timestamp":1294446119000},"page":"375-385","source":"Crossref","is-referenced-by-count":6,"title":["On Some Differences Between Semantics of Logic Program Updates"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o Alexandre","family":"Leite","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"38_CR1","series-title":"Lecture Notes in Computer Science","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 principle-based approach. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS, vol.\u00a02923, pp. 8\u201320. Springer, Heidelberg (2003)"},{"key":"38_CR2","doi-asserted-by":"crossref","unstructured":"Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.: Dynamic updates of non-monotonic knowledge bases. Journal of Logic Programming\u00a045(1-3) (2000)","DOI":"10.1016\/S0743-1066(99)00065-5"},{"key":"38_CR3","volume-title":"Procs. of ICLP 1999","author":"F. Buccafurri","year":"1999","unstructured":"Buccafurri, F., Faber, W., Leone, N.: Disjunctive logic programs with inheritance. In: Procs. of ICLP 1999. MIT Press, Cambridge (1999)"},{"key":"38_CR4","doi-asserted-by":"crossref","unstructured":"Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: On properties of update sequences based on causal rejection. Theory and Practice of Logic Programming\u00a02(6) (2002)","DOI":"10.1017\/S1471068401001247"},{"key":"38_CR5","doi-asserted-by":"crossref","unstructured":"Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: Using methods of declarative logic programming for intelligent information agents. Theory and Practice of Logic Programming\u00a02(6) (2002)","DOI":"10.1017\/S1471068402001576"},{"key":"38_CR6","volume-title":"Procs. of ICLP 1990","author":"M. Gelfond","year":"1990","unstructured":"Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Procs. of ICLP 1990. MIT Press, Cambridge (1990)"},{"key":"38_CR7","volume-title":"Procs. of KR 1991","author":"H. Katsuno","year":"1991","unstructured":"Katsuno, H., Mendelzon, A.: On the difference between updating a knowledge base and revising it. In: Procs. of KR 1991. Morgan Kaufmann, San Francisco (1991)"},{"key":"38_CR8","volume-title":"Frontiers in Artificial Intelligence and Applications","author":"J.A. Leite","year":"2003","unstructured":"Leite, J.A.: Evolving Knowledge Bases. In: Frontiers in Artificial Intelligence and Applications, vol.\u00a081. IOS Press, Amsterdam (2003)"},{"key":"38_CR9","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/BFb0054796","volume-title":"Logic Programming and Knowledge Representation","author":"J.A. Leite","year":"1998","unstructured":"Leite, J.A., Pereira, L.M.: Generalizing updates: From models to programs. In: Dix, J., Moniz Pereira, L., Przymusinski, T.C. (eds.) LPKR 1997. LNCS (LNAI), vol.\u00a01471, p. 224. Springer, Heidelberg (1998)"},{"key":"38_CR10","volume-title":"Procs. of JICSLP 1998","author":"J.A. Leite","year":"1998","unstructured":"Leite, J.A., Pereira, L.M.: Iterated logic program updates. In: Procs. of JICSLP 1998. MIT Press, Cambridge (1998)"},{"key":"38_CR11","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1007\/3-540-45757-7_50","volume-title":"Logics in Artificial Intelligence","author":"N. Leone","year":"2002","unstructured":"Leone, N., Pfeifer, G., Faber, W., Calimeri, F., Dell\u2019Armi, T., Eiter, T., Gottlob, G., Ianni, G., Ielpa, G., Perri, S., Koch, C., Polleres, A.: The dlv system. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, p. 537. Springer, Heidelberg (2002)"},{"key":"38_CR12","volume-title":"Procs. of KR 1992","author":"V. Lifschitz","year":"1992","unstructured":"Lifschitz, V.: Answer sets in general non-monotonic reasoning (preliminary report). In: Procs. of KR 1992. Morgan-Kaufmann, San Francisco (1992)"},{"key":"38_CR13","doi-asserted-by":"crossref","unstructured":"Marek, V., Truszcczy\u00b4nski, M.: Revision programming. Theoretical Computer Science\u00a0190(2) (1998)","DOI":"10.1016\/S0304-3975(97)00092-3"},{"key":"38_CR14","series-title":"LNAI","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"I. Niemel\u00e4","year":"1997","unstructured":"Niemel\u00e4, I., Simons, P.: Smodels:An implementation of the stable model and well-founded semantics for normal LP. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS (LNAI), vol.\u00a01265. Springer, Heidelberg (1997)"},{"key":"38_CR15","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, p. 147. Springer, Heidelberg (1999)"},{"key":"38_CR16","unstructured":"Winslett, M.: Reasoning about action using a possible models approach. In: Procs. of AAAI 1988 (1988)"},{"key":"38_CR17","volume-title":"Procs. of ECAI 1998","author":"Y. Zhang","year":"1998","unstructured":"Zhang, Y., Foo, N.Y.: Updating logic programs. In: Procs. of ECAI 1998. 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_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:04:49Z","timestamp":1620014689000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30498-2_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540238065","9783540304982"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30498-2_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}