{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:10:46Z","timestamp":1761610246290,"version":"build-2065373602"},"reference-count":29,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[2002,10,1]],"date-time":"2002-10-01T00:00:00Z","timestamp":1033430400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2002,10,1]],"date-time":"2002-10-01T00:00:00Z","timestamp":1033430400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3954,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,10]]},"DOI":"10.1016\/s1571-0661(04)80586-3","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"20-38","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Language for Multi-dimensional Updates"],"prefix":"10.1016","volume":"70","author":[{"given":"Jo\u00e3o Alexandre","family":"Leite","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 J\u00falio","family":"Alferes","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]},{"given":"Halina","family":"Przymusinska","sequence":"additional","affiliation":[]},{"given":"Teodor C.","family":"Przymusinski","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"1-3","key":"10.1016\/S1571-0661(04)80586-3_NEWBIB1","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/S0743-1066(99)00065-5","article-title":"Dynamic updates of non-monotonic knoweledge bases","volume":"45","author":"Alferes","year":"2000","journal-title":"Journal of Logic Programming"},{"issue":"1\/2","key":"10.1016\/S1571-0661(04)80586-3_NEWBIB2","article-title":"LUPS: A language for updating logic programs","volume":"138","author":"Alferes","year":"2002","journal-title":"Artifical Intelligence"},{"key":"10.1016\/S1571-0661(04)80586-3_NEWBIB3","unstructured":"F. Buccafurri, W. Faber, and N. Leone. Disjunctive logic programs with inheritance. In D. De Schreye, editor, Proceedings of the 1999 International Conference on Logic Programming (ICLP-99), pages 79\u201393, Cambridge, November 1999. MIT Press."},{"key":"10.1016\/S1571-0661(04)80586-3_NEWBIB4","unstructured":"DLV. The DLV project - a disjunctive datalog system (and more), 2000. Available at http:\/\/www.dbai.tuwien.ac.at\/proj\/dlv\/."},{"key":"10.1016\/S1571-0661(04)80586-3_NEWBIB5","unstructured":"T. Eiter, M. Fink, G. Sabbatini, and H. Tompits. A framework for declarative update specifications in logic programs. In Bernhard Nebel, editor, Proceedings of the seventeenth International Conference on Artificial Intelligence (IJCAI-01), pages 649\u2013654, San Francisco, CA, 2001. Morgan Kaufmann Publishers, Inc."},{"key":"10.1016\/S1571-0661(04)80586-3_NEWBIB6","doi-asserted-by":"crossref","unstructured":"T. Eiter, M. Fink, G. Sabbatini, and H. Tompits. On properties of update sequences based on causal rejection. Theory and Practice of Logic Programming, 2002. To appear.","DOI":"10.1017\/S1471068401001247"},{"key":"10.1016\/S1571-0661(04)80586-3_NEWBIB7","doi-asserted-by":"crossref","unstructured":"M. Fisher. A survey of concurrent METATEM: The language and its applications. In Dov M. Gabbay and Hans J\u00fcrgen Ohlbach, editors, Proceedings of the 1st International Conference on Temporal Logic, volume 827 of LNAI, pages 480\u2013505, Berlin, July 1994. Springer.","DOI":"10.1007\/BFb0014005"},{"key":"10.1016\/S1571-0661(04)80586-3_NEWBIB8","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. A. Bowen, editors, 5th International Conference on Logic Programming, pages 1070\u20131080. MIT Press, 1988."},{"issue":"16","key":"10.1016\/S1571-0661(04)80586-3_NEWBIB9","article-title":"Action languages","volume":"3","author":"Gelfond","year":"1998","journal-title":"Electronic Transactions on AI"},{"key":"10.1016\/S1571-0661(04)80586-3_NEWBIB10","doi-asserted-by":"crossref","unstructured":"K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J. C. Meyer. Formal semantics for an abstract agent programming language. In M. P. Singh, A. Rao, and M. J. Wooldridge, editors, Proceedings of the 4th International Workshop on Agent Theories, Architectures, and Languages (ATAL-97, volume 1365 of LNAI, pages 215\u2013230, Berlin, July 24\u201326 1998. Springer.","DOI":"10.1007\/BFb0026761"},{"key":"10.1016\/S1571-0661(04)80586-3_NEWBIB11","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S0743-1066(97)10001-2","article-title":"Negation as failure in the head","volume":"35","author":"Inoue","year":"1998","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"10.1016\/S1571-0661(04)80586-3_NEWBIB12","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1023\/A:1010090405266","article-title":"A roadmap of agent research and development","volume":"1","author":"Jennings","year":"1998","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"10.1016\/S1571-0661(04)80586-3_NEWBIB13","unstructured":"H. Katsuno and A. O. Mendelzon. On the difference between updating a knowledge base and revising it. In J. Allen, Richard Fikes, and E. Sandewall, editors, Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, pages 387\u2013394, San Mateo, CA, USA, April 1991. Morgan Kaufmann Publishers."},{"key":"10.1016\/S1571-0661(04)80586-3_NEWBIB14","unstructured":"J. A. Leite. Logic program updates. Master's thesis, Dept. de Inform\u00e1tica, Faculdade de Ci \u011bncias e Tecnologia, Universidade Nova de Lisboa, November 1997."},{"key":"10.1016\/S1571-0661(04)80586-3_NEWBIB15","doi-asserted-by":"crossref","unstructured":"J. A. Leite. A modified semantics for LUPS. In P. Brazdil and A. Jorge, editors, Progress in Artificial Intelligence, Proceedings of the 10th Portuguese International Conference on Artificial Intelligence (EPIA01), volume 2258 of LNAI, pages 261\u2013275, Berlin, 2001. Springer.","DOI":"10.1007\/3-540-45329-6_27"},{"key":"10.1016\/S1571-0661(04)80586-3_NEWBIB16","doi-asserted-by":"crossref","unstructured":"J. A. Leite, J. J. Alferes, and L. M. Pereira. Multi-dimensional dynamic knowledge representation. In T. Eiter, M. Truszczynski, and W. Faber, editors, Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-01), volume 2173 of LNAI, pages 365\u2013378, Berlin, 2001. Springer.","DOI":"10.1007\/3-540-45402-0_27"},{"key":"10.1016\/S1571-0661(04)80586-3_NEWBIB17","doi-asserted-by":"crossref","unstructured":"J. A. Leite, J. J. Alferes, and L. M. Pereira. On the use of multi-dimensional dynamic logic programming to represent societal agents' viewpoints. In P. Brazdil and A. Jorge, editors, Progress in Artificial Intelligence, Proceedings of the 10th Portuguese International Conference on Artificial Intelligence (EPIA01), volume 2258 of LNAI, pages 276\u2013289, Berlin, 2001. Springer.","DOI":"10.1007\/3-540-45329-6_28"},{"key":"10.1016\/S1571-0661(04)80586-3_NEWBIB18","first-page":"141","article-title":"Minerva - a dynamic logic programming agent architecture","volume":"volume 2333","author":"Leite","year":"2002"},{"key":"10.1016\/S1571-0661(04)80586-3_NEWBIB19","first-page":"224","article-title":"Generalizing updates: From models to programs","volume":"volume 1471","author":"Leite","year":"1997"},{"key":"10.1016\/S1571-0661(04)80586-3_NEWBIB20","unstructured":"J. A. Leite and L. M. Pereira. Iterated logic program updates. In J. Jaffar, editor, Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming (JICSLP-98), pages 265\u2013278, Cambridge, 1998. MIT Press."},{"key":"10.1016\/S1571-0661(04)80586-3_NEWBIB21","unstructured":"V. Lifschitz and T. Woo. Answer sets in general non-monotonic reasoning (preliminary report). In B. Nebel, C. Rich, and W. Swartout, editors, Proceedings of the 3th International Conference on Principles of Knowledge Representation and Reasoning (KR-92). Morgan-Kaufmann, 1992."},{"issue":"2","key":"10.1016\/S1571-0661(04)80586-3_NEWBIB22","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/S0304-3975(97)00092-3","article-title":"Revision programming","volume":"190","author":"Marek","year":"1998","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80586-3_NEWBIB23","series-title":"The Logic Programming Paradigm: A 25-Year Perspective, Springer Series in Artificial Intelligence","first-page":"5","article-title":"Logic programming and multi-agent systems: a synergic combination for applications and semantics","author":"Bozzano","year":"1999"},{"key":"10.1016\/S1571-0661(04)80586-3_NEWBIB24","doi-asserted-by":"crossref","unstructured":"I. Niemela and P. Simons. Smodels: An implementation of the stable model and well-founded semantics for normal LP. In J. Dix, U. Furbach, and A. Nerode, editors, Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMER-97), volume 1265 of LNAI, pages 420\u2013429, Berlin, 1997. Springer.","DOI":"10.1007\/3-540-63255-7_32"},{"issue":"2","key":"10.1016\/S1571-0661(04)80586-3_NEWBIB25","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/S0743-1066(96)00091-X","article-title":"Update by means of inference rules","volume":"30","author":"Przymusinski","year":"1997","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1571-0661(04)80586-3_NEWBIB26","unstructured":"F. Sadri and F. Toni. Computational logic and multiagent system: a roadmap. Technical report, Department of Computing, Imperial College of Science, Technology and Medicine, 1999."},{"year":"2000","series-title":"Heterogeneous Agent Systems","author":"Subrahmanian","key":"10.1016\/S1571-0661(04)80586-3_NEWBIB27"},{"key":"10.1016\/S1571-0661(04)80586-3_NEWBIB28","unstructured":"M. Winslett. Reasoning about action using a possible models approach. In Reid Smith and Tom Mitchell, editors, Proceedings of the Seventh National Conference on Artificial Intelligence, pages 429\u2013450, Menlo Park, California, 1988. American Association for Artificial Intelligence, AAAI Press."},{"key":"10.1016\/S1571-0661(04)80586-3_NEWBIB29","unstructured":"XSB-Prolog. The XSB logic programming system, version 2.5, 2002. Available at http:\/\/www.cs.sunysb.edu\/~sbprolog."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805863?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805863?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:05:51Z","timestamp":1761609951000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104805863"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,10]]},"references-count":29,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2002,10]]}},"alternative-id":["S1571066104805863"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80586-3","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2002,10]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"A Language for Multi-dimensional Updates","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(04)80586-3","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2002 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}