{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T07:24:13Z","timestamp":1773213853622,"version":"3.50.1"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2007,2,14]],"date-time":"2007-02-14T00:00:00Z","timestamp":1171411200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2007,3]]},"DOI":"10.1007\/s11229-006-9145-6","type":"journal-article","created":{"date-parts":[[2007,2,13]],"date-time":"2007-02-13T11:02:57Z","timestamp":1171364577000},"page":"265-290","source":"Crossref","is-referenced-by-count":37,"title":["Towards a theory of intention revision"],"prefix":"10.1007","volume":"155","author":[{"given":"Wiebe","family":"van der Hoek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wojciech","family":"Jamroga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Wooldridge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,2,14]]},"reference":[{"key":"9145_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n C.E., G\u00e4rdenfors P., & Makinson D. (1985). On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic Logic 50, 510\u2013530","journal-title":"Journal of Symbolic Logic"},{"key":"9145_CR2","volume-title":"Readings in planning","year":"1990","unstructured":"Allen J.F., Hendler J., Tate A. (ed). (1990). Readings in planning. Morgan Kaufmann Publishers, San Mateo, CA"},{"key":"9145_CR3","unstructured":"Aristotle (1998). The nicomachean ethics. Oxford, UK: Oxford University Press. Translated by D. Ross, J. R. Ackrill and O. Urmson."},{"key":"9145_CR4","unstructured":"Atkinson, K. (2005). What should we do? Ph.D Thesis, Computer Science Department, the University of Liverpool. www.csc.liv.ac.uk\/~katie\/ThesisFinal.pdf, retrieved 19 July 2006."},{"key":"9145_CR5","doi-asserted-by":"crossref","unstructured":"Baltag, A., & Moss, L. S. (2004). Logics for epistemic programs. Synthese, 139, 165\u2013224. Knowledge, Rationality & Action 1\u201360.","DOI":"10.1023\/B:SYNT.0000024912.56773.5e"},{"key":"9145_CR6","volume-title":"Intention, plans, and practical reason","author":"M.E. Bratman","year":"1987","unstructured":"Bratman M.E. (1987). Intention, plans, and practical reason. Harvard University Press, Cambridge, MA"},{"key":"9145_CR7","doi-asserted-by":"crossref","first-page":"15","DOI":"10.7551\/mitpress\/3839.003.0004","volume-title":"Intentions in communication","author":"M.E. Bratman","year":"1990","unstructured":"Bratman M.E. (1990). What is intention?. In: Cohen P.R., Morgan J.L., Pollack M.E. (eds). Intentions in communication. The MIT Press, Cambridge, MA, pp. 15\u201332"},{"key":"9145_CR8","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1111\/j.1467-8640.1988.tb00284.x","volume":"4","author":"M.E. Bratman","year":"1988","unstructured":"Bratman M.E., Israel D.J., Pollack M.E. (1988). Plans and resource-bounded practical reasoning. Computational Intelligence 4, 349\u2013355","journal-title":"Computational Intelligence"},{"key":"9145_CR9","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P.R. Cohen","year":"1990","unstructured":"Cohen P.R., Levesque H.J. (1990). Intention is choice with commitment. Artificial Intelligence 42, 213\u2013261","journal-title":"Artificial Intelligence"},{"key":"9145_CR10","doi-asserted-by":"crossref","first-page":"221","DOI":"10.7551\/mitpress\/3839.003.0014","volume-title":"Intentions in communication","author":"P.R. Cohen","year":"1990","unstructured":"Cohen P.R., Levesque H.J. (1990). Rational interaction as the basis for communication. In: Cohen P.R., Morgan J., Pollack M.E. (eds). Intentions in communication. The MIT Press, Cambridge, MA, pp. 221\u2013256"},{"issue":"4","key":"9145_CR11","doi-asserted-by":"crossref","first-page":"487","DOI":"10.2307\/2216075","volume":"25","author":"P.R. Cohen","year":"1991","unstructured":"Cohen P.R., Levesque H.J. (1991). Teamwork. Nous 25(4): 487\u2013512","journal-title":"Nous"},{"key":"9145_CR12","volume-title":"The intentional stance","author":"D.C. Dennett","year":"1987","unstructured":"Dennett D.C. (1987). The intentional stance. The MIT Press, Cambridge, MA"},{"key":"9145_CR13","doi-asserted-by":"crossref","unstructured":"Dignum, F., Dunin-Keplicz, B., & Verbrugge, R. (2001). Agent theory for team formation by dialogue. In C. Castelfranchi, & Y. Lesperance (Eds.), Proceedings agent theories, architectures and languages ATAL, number 1986 in LNAI (pp. 150\u2013166). Berlin: Springer.","DOI":"10.1007\/3-540-44631-1_11"},{"key":"9145_CR14","first-page":"231","volume-title":"Intelligent agents IV (LNAI Vol. 1365)","author":"F. Dignum","year":"1998","unstructured":"Dignum F., Conte R. (1998). Intentional agents and goal formation. In: Singh M.P., Rao A., Wooldridge M.J. (eds). Intelligent agents IV (LNAI Vol. 1365). Springer-Verlag, Berlin, Heidelberg, New York, Germany, pp. 231\u2013244"},{"key":"9145_CR15","first-page":"996","volume-title":"Handbook of theoretical computer science volume B: Formal models and semantics","author":"E.A. Emerson","year":"1990","unstructured":"Emerson E.A. (1990). Temporal and modal logic. In van Leeuwen J. (eds). Handbook of theoretical computer science volume B: Formal models and semantics. Elsevier Science Publishers B.V., Amsterdam, The Netherlands, pp. 996\u20131072"},{"key":"9145_CR16","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin R., Halpern J.Y., Moses Y., Vardi M.Y. (1995). Reasoning about knowledge. The MIT Press, Cambridge, MA"},{"key":"9145_CR17","unstructured":"Galliers, J. R. (1988). A strategic framework for multi-agent cooperative dialogue. In Proceedings of the eighth european conference on artificial intelligence (ECAI-88), Munich, Federal Republic of Germany, pp. 415\u2013420."},{"key":"9145_CR18","unstructured":"Galliers, J. R. (1988). A theoretical framework for computer models of cooperative dialogue, acknowledging multi-agent conflict. Ph.D thesis, Open University, UK."},{"key":"9145_CR19","volume-title":"Reasoning about actions & plans\u2014proceedings of the 1986 workshop","year":"1986","unstructured":"Georgeff M.P., Lansky A.L. (ed). (1986) Reasoning about actions & plans\u2014proceedings of the 1986 workshop. Morgan Kaufmann Publishers, San Mateo, CA"},{"key":"9145_CR20","unstructured":"Georgeff, M. P., & Lansky, A. L. (1987). Reactive reasoning and planning. In Proceedings of the sixth national conference on artificial intelligence (AAAI-87), Seattle, WA, pp. 677\u2013682."},{"key":"9145_CR21","unstructured":"Georgeff, M. P., & Rao, S. (1995). The semantics of intention maintenance for rational agents. In Proceedings IJCAI (pp. 704\u2013710). San Mateo, CA: Morgan Kaufmann."},{"key":"9145_CR22","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic logic","author":"D. Harel","year":"2000","unstructured":"Harel D., Kozen D., Tiuryn J. (2000). Dynamic logic. The MIT Press, Cambridge, MA"},{"issue":"4","key":"9145_CR23","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1023\/A:1010084620690","volume":"2","author":"K.V. Hindriks","year":"1999","unstructured":"Hindriks K.V., de Boer F.S., van der Hoek W., Meyer J.-J.Ch. (1999). Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems 2(4): 357\u2013402","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"9145_CR24","first-page":"93","volume-title":"Decentralized AI 3\u2014proceedings of the third european workshop on modelling autonomous agents in a multi-agent world (MAAMAW-91).","author":"N.R. Jennings","year":"1992","unstructured":"Jennings N.R. (1992). On being responsible. In: Werner E., Demazeau Y. (eds). Decentralized AI 3\u2014proceedings of the third european workshop on modelling autonomous agents in a multi-agent world (MAAMAW-91). Elsevier Science Publishers B.V., Amsterdam, The Netherlands, pp. 93\u2013102"},{"key":"9145_CR25","unstructured":"Jennings, N. R. (1992). Towards a cooperation knowledge level for collaborative problem solving. In Proceedings of the tenth european conference on artificial intelligence (ECAI-92), Vienna, Austria, pp. 224\u2013228."},{"issue":"3","key":"9145_CR26","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1017\/S0269888900000205","volume":"8","author":"N.R. Jennings","year":"1993","unstructured":"Jennings N.R. (1993). Commitments and conventions: The foundation of coordination in multi-agent systems. The Knowledge Engineering Review 8(3): 223\u2013250","journal-title":"The Knowledge Engineering Review"},{"issue":"3","key":"9145_CR27","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1142\/S0218215793000137","volume":"2","author":"N.R. Jennings","year":"1993","unstructured":"Jennings N.R. (1993). Specification and implementation of a belief desire joint-intention architecture for collaborative problem solving. Journal of Intelligent and Cooperative Information Systems 2(3): 289\u2013318","journal-title":"Journal of Intelligent and Cooperative Information Systems"},{"key":"9145_CR28","first-page":"35","volume-title":"Designing autonomous agents","author":"L.P. Kaelbling","year":"1990","unstructured":"Kaelbling L.P., Rosenschein S.J. (1990). Action and planning in embedded agents. In: Maes P. (eds). Designing autonomous agents. The MIT Press, Cambridge, MA, pp. 35\u201348"},{"key":"9145_CR29","volume-title":"The experience of nature: A psychological perspective","author":"R. Kaplan","year":"1989","unstructured":"Kaplan R., Kaplan S. (1989). The experience of nature: A psychological perspective. Cambridge University Press, Cambridge"},{"key":"9145_CR30","first-page":"387","volume-title":"Principles of knowledge representation and reasoning","author":"H. Katsuno","year":"1991","unstructured":"Katsuno H., Mendelzon A. (1991). On the difference between updating a knowledge base and revising it. In: Allen J.A., Fikes R., Sandewall E. (eds). Principles of knowledge representation and reasoning. Morgan Kaufmann, San Mateo, CA, pp. 387\u2013394"},{"key":"9145_CR31","unstructured":"Kinny, D., & Georgeff, M. (1991). Commitment and effectiveness of situated agents. In Proceedings of the twelfth international joint conference on artificial intelligence (IJCAI-91), Sydney, Australia, pp. 82\u201388."},{"key":"9145_CR32","unstructured":"Levesque, H. J., Cohen, P. R., & Nunes, J. H. T. (1990). On acting together. In Proceedings of the eighth national conference on artificial intelligence (AAAI-90), Boston, MA, pp. 94\u201399."},{"key":"9145_CR33","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1207\/s15516709cog0602_1","volume":"6","author":"D. McDermott","year":"1982","unstructured":"McDermott D. (1982). A temporal logic for reasoning about processes and plans. Cognitive Science 6, 101\u2013155","journal-title":"Cognitive Science"},{"key":"9145_CR34","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(99)00061-2","volume":"113","author":"J.-J.Ch. Meyer","year":"1999","unstructured":"Meyer J.-J.Ch., van der Hoek W., van Linder B. (1999). A logical approach to the dynamics of commitments. Artificial Intelligence 113, 1\u201340","journal-title":"Artificial Intelligence"},{"key":"9145_CR35","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569852","volume-title":"Epistemic logic for ai and computer science","author":"J.-J.Ch. Meyer","year":"1995","unstructured":"Meyer J.-J.Ch., van der Hoek W. (1995). Epistemic logic for ai and computer science. Cambridge University Press, Cambridge, England"},{"issue":"1","key":"9145_CR36","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0004-3702(92)90104-6","volume":"57","author":"M.E. Pollack","year":"1992","unstructured":"Pollack M.E. (1992). The uses of plans. Artificial Intelligence 57(1): 43\u201368","journal-title":"Artificial Intelligence"},{"key":"9145_CR37","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents breaking away: Proceedings of the seventh european workshop on modelling autonomous agents in a multi-agent world, (LNAI Volume 1038).","author":"A.S. Rao","year":"1996","unstructured":"Rao A.S. (1996). AgentSpeak(L): BDI agents speak out in a logical computable language. In: Van de Velde W., Perram J.W. (eds). Agents breaking away: Proceedings of the seventh european workshop on modelling autonomous agents in a multi-agent world, (LNAI Volume 1038). Springer-Verlag, Berlin, Heidelberg, New York, Germany, pp. 42\u201355"},{"issue":"3","key":"9145_CR38","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1093\/logcom\/8.3.293","volume":"8","author":"A.S. Rao","year":"1998","unstructured":"Rao A.S., Georgeff M. (1998). Decision procedures for BDI logics. Journal of Logic and Computation 8(3): 293\u2013344","journal-title":"Journal of Logic and Computation"},{"key":"9145_CR39","first-page":"473","volume-title":"Proceedings of knowledge representation and reasoning (KR&R-91)","author":"A.S. Rao","year":"1991","unstructured":"Rao A.S., Georgeff M.P. (1991). Modeling rational agents within a BDI-architecture. In: Fikes R., Sandewall E. (eds). Proceedings of knowledge representation and reasoning (KR&R-91). Morgan Kaufmann Publishers, San Mateo, CA, pp. 473\u2013484"},{"key":"9145_CR40","first-page":"439","volume-title":"Proceedings of knowledge representation and reasoning (KR&R-92)","author":"A.S. Rao","year":"1992","unstructured":"Rao A.S., Georgeff M.P. (1992). An abstract architecture for rational agents. In: Rich C., Swartout W., Nebel B. (eds). Proceedings of knowledge representation and reasoning (KR&R-92). Morgan Kaufmann, San Mateo, CA, pp. 439\u2013449"},{"key":"9145_CR41","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5759.001.0001","volume-title":"Rationality in action","author":"J.R. Searle","year":"2001","unstructured":"Searle J.R. (2001). Rationality in action. MIT Press, Cambridge, MA, USA"},{"key":"9145_CR42","unstructured":"Singh, M. P. (1992). A critical examination of the Cohen\u2013Levesque theory of intention. In Proceedings of the tenth european conference on artificial intelligence (ECAI-92), Vienna, Austria, pp. 364\u2013368."},{"key":"9145_CR43","first-page":"733","volume-title":"ECML 2005, number 3720 in LNAI","author":"H. Skubch","year":"2005","unstructured":"Skubch H., Thielscher M. (2005). Strategy learning for reasoning agents. In: Gama J. et al. (eds). ECML 2005, number 3720 in LNAI. Springer, Berlin, Heidelberg, New York, pp. 733\u2013740"},{"key":"9145_CR44","unstructured":"van Benthem, J., & Liu, F. (2005). Dynamic logic of preference upgrade. Technical Report PP-2005\u20132029, University of Amsterdam, 2005. To appear in Journal of Applied Non-Classical Logic, 17(2), 2007"},{"key":"9145_CR45","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/978-94-015-9204-8_7","volume-title":"Foundations of rational agency","author":"W. Hoek van der","year":"1999","unstructured":"van der Hoek W., van Linder B., Meyer J.-J.Ch. (1999). An integrated modal approach to rational agents. In: Wooldridge M., Rao A. (eds). Foundations of rational agency. Kluwer Academic Publishers, Dordrecht, The Netherlands, pp. 133\u2013168"},{"key":"9145_CR46","first-page":"45","volume-title":"Knowledge contributors, Synthese Library","author":"H.P. Ditmarsch van","year":"2003","unstructured":"van Ditmarsch H.P., van der Hoek W., Kooi B. (2003). Concurrent dynamic epistemic logic. In: Hendricks V.F., J\u00f8rgensen K.F., Pedersen S.A. (eds). Knowledge contributors, Synthese Library Vol 322. Kluwer, Dordrecht, The Netherlands, pp. 45\u201382"},{"key":"9145_CR47","first-page":"103","volume-title":"Knowledge and belief in philosophy and artificial intelligence","author":"B. Linder van","year":"1995","unstructured":"van Linder B., van der Hoek W., Meyer J.-J.Ch. (1995). Actions that make you change your mind. In: Laux A., Wansing H. (eds). Knowledge and belief in philosophy and artificial intelligence. Akademie Verlag, Berlin, pp. 103\u2013146"},{"key":"9145_CR48","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1080\/095281398146770","volume":"10","author":"J. Vidal","year":"1998","unstructured":"Vidal J., Durfee E. (1998). Learning nested agent models in an information economy. Journal of Experimental and Theoretical Artificial Intelligence 10, 291\u2013308","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"key":"9145_CR49","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5804.001.0001","volume-title":"Reasoning about rational agents","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge M. (2000). Reasoning about rational agents. The MIT Press, Cambridge, MA"},{"issue":"4","key":"9145_CR50","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1093\/logcom\/9.4.563","volume":"9","author":"M. Wooldridge","year":"1999","unstructured":"Wooldridge M., Jennings N.R. (1999). The cooperative problem solving process. Journal of Logic and Computation 9(4): 563\u2013592","journal-title":"Journal of Logic and Computation"},{"key":"9145_CR51","first-page":"63","volume-title":"Intelligent agents V (LNAI Volume 1555)","author":"M. Wooldridge","year":"1999","unstructured":"Wooldridge M., Parsons S.D. (1999). Intention reconsideration reconsidered. In: M\u00fcller J.P., Singh M.P., Rao A.S. (eds). Intelligent agents V (LNAI Volume 1555). Springer, Berlin, Heidelberg, New York, Germany, pp. 63\u201380"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-006-9145-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-006-9145-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-006-9145-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,13]],"date-time":"2025-01-13T19:25:23Z","timestamp":1736796323000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-006-9145-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,2,14]]},"references-count":51,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,3]]}},"alternative-id":["9145"],"URL":"https:\/\/doi.org\/10.1007\/s11229-006-9145-6","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,2,14]]}}}