{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T04:13:08Z","timestamp":1746245588231,"version":"3.40.4"},"reference-count":60,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2014,5,18]],"date-time":"2014-05-18T00:00:00Z","timestamp":1400371200000},"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":["Auton Agent Multi-Agent Syst"],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1007\/s10458-014-9263-3","type":"journal-article","created":{"date-parts":[[2014,5,17]],"date-time":"2014-05-17T18:55:29Z","timestamp":1400352929000},"page":"569-620","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A logic of intention and action for regular BDI agents based on bisimulation of agent programs"],"prefix":"10.1007","volume":"29","author":[{"given":"Wayne","family":"Wobcke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,5,18]]},"reference":[{"key":"9263_CR1","doi-asserted-by":"crossref","first-page":"6115","DOI":"10.1016\/j.tcs.2011.05.052","volume":"412","author":"N Alechina","year":"2011","unstructured":"Alechina, N., Dastani, M., & Logan, B. (2011). Reasoning about plan revision in BDI agent programs. Theoretical Computer Science, 412, 6115\u20136134.","journal-title":"Theoretical Computer Science"},{"key":"9263_CR2","unstructured":"Baldoni, M., Baroglio, C., Chopra, A. K., Desai, N., Patti, V., & Singh, M. P. (2009). Choice, interoperability, and conformance in interaction protocols and service choreographies. In Proceedings of the eighth international joint conference on autonomous agents and multiagent systems (pp. 843\u2013850)."},{"key":"9263_CR3","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1111\/j.1755-2567.1988.tb00717.x","volume":"54","author":"ND Belnap","year":"1988","unstructured":"Belnap, N. D., & Perloff, M. (1988). Seeing to it that: A canonical form for agentives. Theoria, 54, 175\u2013199.","journal-title":"Theoria"},{"key":"9263_CR4","volume-title":"Automata, languages and programming","author":"JA Bergstra","year":"1984","unstructured":"Bergstra, J. A., & Klop, J. W. (1984). The algebra of recursively defined processes and the algebra of regular processes. In J. Paredaens (Ed.), Automata, languages and programming. Berlin: Springer."},{"key":"9263_CR5","volume-title":"Programming multi-agent systems in AgentSpeak using Jason","author":"RH Bordini","year":"2007","unstructured":"Bordini, R. H., H\u00fcbner, J. F., & Wooldridge, M. (2007). Programming multi-agent systems in AgentSpeak using Jason. Chichester: Wiley."},{"key":"9263_CR6","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1023\/B:AMAI.0000034527.45635.e5","volume":"42","author":"RH Bordini","year":"2004","unstructured":"Bordini, R. H., & Moreira, \u00c1. F. (2004). Proving BDI properties of agent-oriented programming languages: The asymmetry thesis principles in AgentSpeak(L). Annals of Mathematics and Artificial Intelligence, 42, 197\u2013226.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"9263_CR7","volume-title":"Intention, plans, and practical reason","author":"ME Bratman","year":"1987","unstructured":"Bratman, M. E. (1987). Intention, plans, and practical reason. Cambridge, MA: Harvard University Press."},{"key":"9263_CR8","volume-title":"Intentions in communication","author":"ME Bratman","year":"1990","unstructured":"Bratman, M. E. (1990). What is intention? In P. R. Cohen, J. Morgan, & M. E. Pollack (Eds.), Intentions in communication. Cambridge, MA: MIT Press."},{"key":"9263_CR9","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1111\/j.1467-8640.1988.tb00284.x","volume":"4","author":"ME 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":"9263_CR10","unstructured":"Broersen, J. (2011). Modeling attempt and action failure in probabilistic stit logic. In Proceedings of the twenty-second international joint conference on artificial intelligence (pp. 792\u2013797)."},{"key":"9263_CR11","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"PR 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":"9263_CR12","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1093\/logcom\/12.2.301","volume":"12","author":"F Corradini","year":"2002","unstructured":"Corradini, F., De Nicola, R., & Labella, A. (2002). An equational axiomatization of bisimulation over regular expressions. Journal of Logic and Computation, 12, 301\u2013320.","journal-title":"Journal of Logic and Computation"},{"key":"9263_CR13","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/B:AGNT.0000019688.11109.19","volume":"9","author":"M d\u2019Inverno","year":"2004","unstructured":"d\u2019Inverno, M., Luck, M. M., Georgeff, M. P., Kinny, D. N., & Wooldridge, M. J. (2004). The dMARS architecture: A specification of the distributed multi-agent reasoning system. Autonomous Agents and Multi-Agent Systems, 9, 5\u201353.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"9263_CR14","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/0167-6423(83)90017-5","volume":"2","author":"EA Emerson","year":"1982","unstructured":"Emerson, E. A., & Clarke, E. M. (1982). Using branching time temporal logic to synthesize synchronization skeletons. Science of Computer Programming, 2, 241\u2013266.","journal-title":"Science of Computer Programming"},{"key":"9263_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0022-0000(85)90001-7","volume":"30","author":"EA Emerson","year":"1985","unstructured":"Emerson, E. A., & Halpern, J. Y. (1985). Decision procedures and expressiveness in the temporal logic of branching time. Journal of Computer and Systems Sciences, 30, 1\u201324.","journal-title":"Journal of Computer and Systems Sciences"},{"key":"9263_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. Cambridge, MA: MIT Press."},{"key":"9263_CR17","volume-title":"Algebraic methodology and software technology","author":"W Fokkink","year":"1996","unstructured":"Fokkink, W. (1996). On the completeness of the equations for the Kleene star in bisimulation. In M. Wirsing & M. Nivat (Eds.), Algebraic methodology and software technology. Berlin: Springer."},{"key":"9263_CR18","unstructured":"Georgeff, M. P., & Ingrand, F. F. (1989). Decision-making in an embedded reasoning system. In Proceedings of the eleventh international joint conference on artificial intelligence (pp. 972\u2013978)."},{"key":"9263_CR19","unstructured":"Georgeff, M. P., & Lansky, A. L. (1987). Reactive reasoning and planning. In Proceedings of the sixth national conference on artificial intelligence (AAAI-87) (pp. 677\u2013682)."},{"key":"9263_CR20","volume-title":"Logics of time and computation","author":"R Goldblatt","year":"1992","unstructured":"Goldblatt, R. (1992). Logics of time and computation (2nd ed.). Stanford, CA: Center for the study of language and information.","edition":"2"},{"key":"9263_CR21","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1023\/A:1010084620690","volume":"2","author":"KV Hindriks","year":"1999","unstructured":"Hindriks, K. V., de Boer, F. S., & van der Hoek, W. (1999). Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems, 2, 357\u2013401.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"9263_CR22","volume-title":"KI 2006: Advances in artificial intelligence","author":"KV Hindriks","year":"2006","unstructured":"Hindriks, K. V., & Meyer, J.-J. Ch. (2006). Agent logics as program logics: Grounding KARO. In C. Freksa, M. Kohlhase, & K. Schill (Eds.), KI 2006: Advances in artificial intelligence. Berlin: Springer."},{"key":"9263_CR23","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/s10458-008-9065-6","volume":"19","author":"KV Hindriks","year":"2009","unstructured":"Hindriks, K. V., & Meyer, J.-J. Ch. (2009). Toward a programming theory for rational agents. Autonomous Agents and Multi-Agent Systems, 19, 4\u201329.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"9263_CR24","unstructured":"Howden, N., R\u00f6nnquist, R., Hodgson, A., & Lucas, A. (2001). JACK Intelligent Agents $$^{{\\rm TM}}$$ TM : Summary of an agent infrastructure. Paper presented at the second international workshop on infrastructure for agents, MAS, and scalable MAS, Montreal, May 29, 2001."},{"key":"9263_CR25","doi-asserted-by":"crossref","unstructured":"Huber, M. J. (1999). JAM: A BDI-theoretic mobile agent architecture. In Proceedings of the third international conference on autonomous agents (pp. 236\u2013243).","DOI":"10.1145\/301136.301202"},{"key":"9263_CR26","doi-asserted-by":"crossref","unstructured":"Ingrand, F. F., Chatila, R., Alami, R., & Robert, F. (1996). PRS: A high level supervision and control language for autonomous mobile robots. In Proceedings of the 1996 IEEE international conference on robotics and automation (pp. 43\u201349).","DOI":"10.1109\/ROBOT.1996.503571"},{"key":"9263_CR27","unstructured":"Lee, J., Huber, M. J., Kenny, P. G., & Durfee, E. H. (1994). UM-PRS: An implementation of the procedural reasoning system for multirobot applications. In Conference on intelligent robotics in field, factory, service, and space (pp. 842\u2013849)."},{"key":"9263_CR28","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/A:1026761331498","volume":"66","author":"Y Lesp\u00e9rance","year":"2000","unstructured":"Lesp\u00e9rance, Y., Levesque, H. J., Lin, F., & Scherl, R. B. (2000). Ability and knowing how in the situation calculus. Studia Logica, 66, 165\u2013186.","journal-title":"Studia Logica"},{"key":"9263_CR29","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"HJ Levesque","year":"1997","unstructured":"Levesque, H. J., Reiter, R., Lesp\u00e9rance, Y., Lin, F., & Scherl, R. B. (1997). GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31, 59\u201383.","journal-title":"Journal of Logic Programming"},{"key":"9263_CR30","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1016\/0022-0000(84)90023-0","volume":"28","author":"R Milner","year":"1984","unstructured":"Milner, R. (1984). A complete inference system for a class of regular behaviours. Journal of Computer and System Sciences, 28, 439\u2013466.","journal-title":"Journal of Computer and System Sciences"},{"key":"9263_CR31","unstructured":"Morley, D., & Myers, K. L. (2004). The SPARK agent framework. In Proceedings of the third international joint conference on autonomous agents and multiagent systems(pp. 714\u2013721)."},{"key":"9263_CR32","unstructured":"Myers, K. L. (1996). A procedural knowledge approach to task-level control. In Proceedings of the third international conference on artificial intelligence planning systems (pp. 158\u2013165)."},{"key":"9263_CR33","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1080\/088395199117513","volume":"13","author":"HS Nwana","year":"1999","unstructured":"Nwana, H. S., Ndumu, D. T., Lee, L. C., & Collis, J. C. (1999). ZEUS: A toolkit for building distributed multiagent systems. Applied Artificial Intelligence, 13, 129\u2013185.","journal-title":"Applied Artificial Intelligence"},{"key":"9263_CR34","volume-title":"AI 2001: Advances in artificial intelligence","author":"V Padmanabhan","year":"2001","unstructured":"Padmanabhan, V., Governatori, G., & Sattar, A. (2001). Actions made explicit in BDI. In M. Stumptner, D. Corbett, & M. Brooks (Eds.), AI 2001: Advances in artificial intelligence. Berlin: Springer."},{"key":"9263_CR35","unstructured":"Plotkin, G. D. (1981). A structural approach to operational semantics. Technical Report DAIMI FN-19, Department of Computer Science, University of Aarhus."},{"key":"9263_CR36","doi-asserted-by":"crossref","unstructured":"Pokahr, A., Braubach, L., & Lamersdorf, W. (2005). A flexible BDI architecture supporting extensibility. In Proceedings of the 2005 IEEE\/WIC\/ACM international conference on intelligent agent technology (pp. 379\u2013385).","DOI":"10.1109\/IAT.2005.9"},{"issue":"4","key":"9263_CR37","first-page":"71","volume":"20","author":"ME Pollack","year":"1999","unstructured":"Pollack, M. E., & Horty, J. F. (1999). There\u2019s more to life than making plans: Plan management in dynamic, multiagent environments. AI Magazine, 20(4), 71\u201383.","journal-title":"AI Magazine"},{"key":"9263_CR38","unstructured":"Pratt, V. R. (1976). Semantical considerations on Floyd\u2013Hoare logic. In Proceedings of the seventeenth IEEE symposium on foundations of computer science (pp. 109\u2013121)."},{"key":"9263_CR39","volume-title":"Agents breaking away","author":"AS Rao","year":"1996","unstructured":"Rao, A. S. (1996). AgentSpeak(L): BDI agents speak out in a logical computable language. In W. Van de Velde & J. W. Perram (Eds.), Agents breaking away. Berlin: Springer."},{"key":"9263_CR40","unstructured":"Rao, A. S., & Georgeff, M. P. (1991). Asymmetry thesis and side-effect problems in linear-time and branching-time intention logics. In Proceedings of the twelfth international joint conference on artificial intelligence (pp. 498\u2013504)."},{"key":"9263_CR41","unstructured":"Rao, A. S., & Georgeff, M. P. (1991). Modeling rational agents within a BDI-architecture. In Proceedings of the second international conference on principles of knowledge representation and reasoning (pp. 473\u2013484)."},{"key":"9263_CR42","unstructured":"Rao, A. S., & Georgeff, M. P. (1992). An abstract architecture for rational agents. In Proceedings of the third international conference on principles of knowledge representation and reasoning (pp. 439\u2013449)."},{"key":"9263_CR43","unstructured":"Rao, A. S., & Georgeff, M. P. (1995). BDI agents: From theory to practice. In Proceedings of the first international conference on multi-agent systems (pp. 312\u2013319)."},{"key":"9263_CR44","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1093\/logcom\/8.3.293","volume":"8","author":"AS Rao","year":"1998","unstructured":"Rao, A. S., & Georgeff, M. P. (1998). Decision procedures for BDI logics. Journal of Logic and Computation, 8, 293\u2013343.","journal-title":"Journal of Logic and Computation"},{"key":"9263_CR45","volume-title":"Theoretical aspects of reasoning about knowledge: Proceedings of the 1986 conference","author":"SJ Rosenschein","year":"1986","unstructured":"Rosenschein, S. J., & Kaelbling, L. P. (1986). The synthesis of digital machines with provable epistemic properties. In J. Y. Halpern (Ed.), Theoretical aspects of reasoning about knowledge: Proceedings of the 1986 conference. Los Altos, CA: Morgan Kaufmann."},{"key":"9263_CR46","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1145\/321312.321326","volume":"13","author":"A Salomaa","year":"1966","unstructured":"Salomaa, A. (1966). Two complete axiom systems for the algebra of regular events. Journal of the Association for Computing Machinery, 13, 158\u2013169.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"9263_CR47","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1023\/A:1010076027707","volume":"3","author":"K Schild","year":"2000","unstructured":"Schild, K. (2000). On the relationship between BDI logics and standard logics of concurrency. Autonomous Agents and Multi-Agent Systems, 3, 259\u2013283.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"9263_CR48","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/s11225-004-6042-1","volume":"78","author":"RA Schmidt","year":"2004","unstructured":"Schmidt, R. A., Tishkovsky, D., & Hustadt, U. (2004). Interactions between knowledge, action and commitment within agent dynamic logic. Studia Logica, 78, 381\u2013415.","journal-title":"Studia Logica"},{"key":"9263_CR49","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/BF00262940","volume":"18","author":"K Segerberg","year":"1989","unstructured":"Segerberg, K. (1989). Bringing it about. Journal of Philosophical Logic, 18, 327\u2013347.","journal-title":"Journal of Philosophical Logic"},{"key":"9263_CR50","unstructured":"Singh, M. P. (1992). A critical examination of the Cohen\u2013Levesque theory of intentions. In Proceedings of the tenth european conference on artificial intelligence (pp. 364\u2013368)."},{"key":"9263_CR51","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1080\/095281398146752","volume":"10","author":"MP Singh","year":"1998","unstructured":"Singh, M. P. (1998). Semantical considerations on intention dynamics for BDI agents. Journal of Experimental and Theoretical Artificial Intelligence, 10, 551\u2013564.","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"key":"9263_CR52","unstructured":"Su, K., Sattar, A., Wang, K., Luo, X., Governatori, G., & Padmanabhan, V. (2005). Observation-based model for BDI-agents. In Proceedings of the twentieth national conference on artificial intelligence (AAAI-05) (pp. 190\u2013195)."},{"key":"9263_CR53","doi-asserted-by":"crossref","first-page":"53","DOI":"10.3233\/FI-1998-341203","volume":"34","author":"B Linder van","year":"1998","unstructured":"van Linder, B., & van der Hoek, W. (1998). Formalizing abilities and opportunities of agents. Fundamenta Informaticae, 34, 53\u2013101.","journal-title":"Fundamenta Informaticae"},{"key":"9263_CR54","volume-title":"Intelligent agents VI","author":"WR Wobcke","year":"2000","unstructured":"Wobcke, W. R. (2000). On the correctness of PRS agent programs. In N. R. Jennings & Y. Lesp\u00e9rance (Eds.), Intelligent agents VI. Berlin: Springer."},{"key":"9263_CR55","volume-title":"PRICAI 2002: Trends in artificial intelligence","author":"WR Wobcke","year":"2002","unstructured":"Wobcke, W. R. (2002). Modelling PRS-like agents\u2019 mental states. In M. Ishizuka & A. Sattar (Eds.), PRICAI 2002: Trends in artificial intelligence. Berlin: Springer."},{"key":"9263_CR56","volume-title":"PRICAI 2004: Trends in artificial intelligence","author":"WR Wobcke","year":"2004","unstructured":"Wobcke, W. R. (2004). Model theory for PRS-like agents: Modelling belief update and action attempts. In C. Zhang, H. W. Guesgen, & W. K. Yeap (Eds.), PRICAI 2004: Trends in artificial intelligence. Berlin: Springer."},{"key":"9263_CR57","volume-title":"AI 2006: Advances in artificial intelligence","author":"WR Wobcke","year":"2006","unstructured":"Wobcke, W. R. (2006). An analysis of three puzzles in the logic of intention. In A. Sattar & B.-H. Kang (Eds.), AI 2006: Advances in artificial intelligence. Berlin: Springer."},{"key":"9263_CR58","volume-title":"Intelligent agent technology: Systems, methodologies, and tools","author":"WR Wobcke","year":"1999","unstructured":"Wobcke, W. R., & Sichanie, A. G. (1999). A reactive scheduling agent architecture for coordinating autonomous assistants. In J. Liu & N. Zhong (Eds.), Intelligent agent technology: Systems, methodologies, and tools. Singapore: World Scientific."},{"key":"9263_CR59","doi-asserted-by":"crossref","unstructured":"Wooldridge, M. J. (2000). Computationally grounded theories of agency. In Proceedings of the fourth international conference on multi-agent systems (pp. 13\u201322).","DOI":"10.1109\/ICMAS.2000.858426"},{"key":"9263_CR60","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5804.001.0001","volume-title":"Reasoning about rational agents","author":"MJ Wooldridge","year":"2000","unstructured":"Wooldridge, M. J. (2000). Reasoning about rational agents. Cambridge, MA: MIT Press."}],"container-title":["Autonomous Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-014-9263-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10458-014-9263-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-014-9263-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T23:27:32Z","timestamp":1746228452000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10458-014-9263-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,18]]},"references-count":60,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,7]]}},"alternative-id":["9263"],"URL":"https:\/\/doi.org\/10.1007\/s10458-014-9263-3","relation":{},"ISSN":["1387-2532","1573-7454"],"issn-type":[{"type":"print","value":"1387-2532"},{"type":"electronic","value":"1573-7454"}],"subject":[],"published":{"date-parts":[[2014,5,18]]}}}