{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T09:06:33Z","timestamp":1768554393242,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540304623","type":"print"},{"value":"9783540316527","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11589990_9","type":"book-chapter","created":{"date-parts":[[2005,11,26]],"date-time":"2005-11-26T01:28:03Z","timestamp":1132968483000},"page":"60-69","source":"Crossref","is-referenced-by-count":1,"title":["Reasoning with the Outcomes of Plan Execution in Intentional Agents"],"prefix":"10.1007","author":[{"given":"Timothy William","family":"Cleaver","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdul","family":"Sattar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kewen","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Cleaver, T., Sattar, A., Wang, K.: Reasoning about success and failure in intentional agents. In: Proceedings of the 2005 Pacific Rim International Workshop on Multi-Agents (2005)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Bordini, R., Bazzan, A., Jannone, R., Basso, D., Vicari, R., Lesser, V.: Agentspeak(XL): Efficient Intention Selection in BDI Agents via Decision-Theoretic Task Scheduling. In: Proceedings of the first International Joint Conference on Autonomous Agents and Multi-Agent Systems, pp. 1294\u20131302 (2002)","DOI":"10.1145\/545056.545122"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1023\/B:AMAI.0000034527.45635.e5","volume":"42","author":"R. Bordini","year":"2004","unstructured":"Bordini, R., Moreira, A.: Proving BDI properties of agent-oriented programming languages: The asymmetry thesis principles in agentspeak(l). Annals of Mathematics and Artificial Intelligence\u00a042, 197\u2013226 (2004)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"9_CR4","unstructured":"Georgeff, M., Ingrand, F.: Decision-making in an Embedded Reasoning System. In: Proceedings of the eleventh International Joint Conference on Artificial Intelligence, pp. 972\u2013978 (1989)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Ingrand, F., Chatila, R., Alami, R., Robert, F.: PRS: A High Level Supervision and Control Language for Autonomous Mobile Robots. In: Proceedings of the IEEE International Conference on Robotics and Automation (1996)","DOI":"10.1109\/ROBOT.1996.503571"},{"key":"9_CR6","unstructured":"Lee, J., Huber, M., Kenny, P., Durfee, E.: UM-PRS: An Implementation of the Procedural Reasoning System for Multi-robot Applications. In: Proceedings of the AIAA\/NASA Conference on Intelligent Robots in Field, Factory, Service, and Space, pp. 842\u2013849 (1994)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Huber, M.: JAM: A BDI-Theoretic Mobile Agent Architecture. In: Proceedings of the third International Conference on Autonomous Agents, pp. 236\u2013243 (1999)","DOI":"10.1145\/301136.301202"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"d\u2019Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: A Formal Specification of dMARS. In: Agent Theories, Architectures and Languages, pp. 115\u2013176 (1997)","DOI":"10.1007\/BFb0026757"},{"key":"9_CR9","doi-asserted-by":"publisher","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., Georgeff, M., Kinny, D., Wooldridge, M.: The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System. Autonomous Agents and Multi-Agent Systems\u00a09, 5\u201353 (2004)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"9_CR10","unstructured":"Busetta, P., R\u00f6nnquist, R., Hodgson, A., Lucas, A.: Jack Intelligent Agents - Components for Intelligent Agents in Java. AgentLink News Letter (1999)"},{"key":"9_CR11","unstructured":"Howden, N., R\u00f6nnquist, R., Hodgson, A., Lucas, A.: Jack Intelligent Agents - Summary of an Agent Infrastructure. In: Proceedings of the fifth International Conference on Autonomous Agents (2001)"}],"container-title":["Lecture Notes in Computer Science","AI 2005: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11589990_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T02:48:24Z","timestamp":1619491704000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11589990_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540304623","9783540316527"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11589990_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}