{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:36Z","timestamp":1725558996012},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540280606"},{"type":"electronic","value":"9783540318576"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11533092_4","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T01:51:15Z","timestamp":1278985875000},"page":"52-77","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["From Logic Programs Updates to Action Description Updates"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 J\u00falio","family":"Alferes","sequence":"first","affiliation":[]},{"given":"Federico","family":"Banti","sequence":"additional","affiliation":[]},{"given":"Antonio","family":"Brogi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,8,19]]},"reference":[{"key":"4_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46767-X_12","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"J.J. Alferes","year":"1999","unstructured":"Alferes, J.J., Banti, F., Brogi, A., Leite, J.A.: Semantics for dynamic logic programming: a principled based approach. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol.\u00a01730. Springer, Heidelberg (1999)"},{"key":"4_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/3-540-45757-7_5","volume-title":"Logics in Artificial Intelligence","author":"J.J. Alferes","year":"2002","unstructured":"Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M.: Evolving logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 50\u201361. Springer, Heidelberg (2002)"},{"issue":"1\u20133","key":"4_CR3","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":"4_CR4","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\u20132) (2002)","DOI":"10.1016\/S0004-3702(02)00183-2"},{"key":"4_CR5","unstructured":"Alferes, J.J., Pereira, L.M., Przymusinski, T., Przymusinska, H., Quaresma, P.: Preliminary exploration on actions as updates. In: Meo, M.C., Ferro, M.V. (eds.) Joint Conference on Declarative Programming AGP 1999 (1999)"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/S0743-1066(96)00140-9","volume":"31","author":"C. Baral","year":"1997","unstructured":"Baral, C., Gelfond, M.: Reasoning about effects of concurrent actions. Journal of Logic Programming\u00a031, 85\u2013118 (1997)","journal-title":"Journal of Logic Programming"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Baral, C., Gelfond, M., Provetti, A.: Representing actions: Laws, observations and hypotheses. Journal of Logic Programming\u00a031 (April\u2013June 1997)","DOI":"10.1016\/S0743-1066(96)00141-0"},{"key":"4_CR8","volume-title":"Proceedings of the 1999 International Conference on Logic Programming ICLP 1999","author":"F. Buccafurri","year":"1999","unstructured":"Buccafurri, F., Faber, W., Leone, N.: Disjunctive logic programs with inheritance. In: De Schreye, D. (ed.) Proceedings of the 1999 International Conference on Logic Programming ICLP 1999, November 1999. MIT Press, Cambridge (1999)"},{"key":"4_CR9","first-page":"649","volume-title":"Proceedings of the seventeenth International Conference on Artificial Intelligence IJCAI 2001","author":"T. Eiter","year":"2001","unstructured":"Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: A framework for declarative update specifications in logic programs. In: Nebel, B. (ed.) Proceedings of the seventeenth International Conference on Artificial Intelligence IJCAI 2001, pp. 649\u2013654. Morgan Kaufmann Publishers, Inc., San Francisco (2001)"},{"key":"4_CR10","doi-asserted-by":"publisher","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 (2002)","journal-title":"Theory and Practice of Logic Programming"},{"key":"4_CR11","first-page":"1070","volume-title":"5th International Conference on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K.A. (eds.) 5th International Conference on Logic Programming, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"Gelfond, M., Lifschitz, V.: Representing actions and change by logic programs. Journal of Logic Programming\u00a017, 301\u2013322 (1993)","journal-title":"Journal of Logic Programming"},{"key":"4_CR13","unstructured":"Gelfond, M., Lifschitz, V.: Action languages. Electronic Transactions on AI\u00a016 (1998)"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0743-1066(96)00125-2","volume":"31","author":"E. Giunchiglia","year":"1997","unstructured":"Giunchiglia, E., Lee, J., Lifschitz, V., Mc Cain, N., Turner, H.: Representing actions in logic programs and default theories: a situation calculus approach. Journal of Logic Programming\u00a031, 245\u2013298 (1997)","journal-title":"Journal of Logic Programming"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","volume":"153","author":"E. Giunchiglia","year":"2004","unstructured":"Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence\u00a0153, 49\u2013104 (2004)","journal-title":"Artificial Intelligence"},{"key":"4_CR16","unstructured":"Giunchiglia, E., Lifschitz, V.: An action language based on causal explanation: Preliminary report. In: AAAI 1998, pp. 623\u2013630 (1998)"},{"key":"4_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/11533092_5","volume-title":"Computational Logic in Multi-Agent Systems","author":"M. Homola","year":"2005","unstructured":"Homola, M.: Dynamic logic programming: Various semantics are equal on acyclic programs. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol.\u00a03487, pp. 78\u201395. Springer, Heidelberg (2005)"},{"key":"4_CR18","unstructured":"Lee, J., Lifschitz, V.: Describing additive fluents in action language C+. In: Nebel, W., Rich, B., Swartout, C. (eds.) Proc. IJCAI 2003, Cambridge, MA, pp. 1079\u20131084 (2003)"},{"key":"4_CR19","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":"4_CR20","series-title":"Lecture Notes in Artificial Intelligence","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":"4_CR21","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/978-3-642-60085-2_16","volume-title":"The Logic Programming Paradigm: a 25-Year Perspective","author":"V. Lifschitz","year":"1999","unstructured":"Lifschitz, V.: Action languages, answer sets and planning. In: The Logic Programming Paradigm: a 25-Year Perspective, pp. 357\u2013373. Springer, Heidelberg (1999)"},{"key":"4_CR22","volume-title":"Proceedings of the 3th International Conference on Principles of Knowledge Representation and Reasoning 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.) Proceedings of the 3th International Conference on Principles of Knowledge Representation and Reasoning KR 1992, Morgan-Kaufmann, San Francisco (1992)"},{"key":"4_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)"},{"key":"4_CR24","unstructured":"McCarthy, J.: Programs with commons sense. In: Proceedings of Teddington Conference on The Mechanization of Thought Process, pp. 75\u201391 (1959)"},{"key":"4_CR25","unstructured":"McCarthy, J.: Mathematical logic in artificial intelligence, Daedalus, pp. 297\u2013311 (1988)"},{"key":"4_CR26","volume-title":"Artificial Intelligence","author":"S. Russel","year":"1995","unstructured":"Russel, S., Norvig, P.: Artificial Intelligence A Modern Approach. In: Artificial Intelligence. Prentice Hall, Englewood Cliffs (1995)"},{"key":"4_CR27","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","volume":"33","author":"D. McDermott","year":"1987","unstructured":"McDermott, D., Hanks, S.: Nonmonotonic logic and temporal projection. Artificial Intelligence\u00a033, 379\u2013412 (1987)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11533092_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T07:04:32Z","timestamp":1586156672000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11533092_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540280606","9783540318576"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/11533092_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]},"assertion":[{"value":"19 August 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}