{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T09:45:24Z","timestamp":1768556724698,"version":"3.49.0"},"reference-count":18,"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)80591-7","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"108-125","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":17,"title":["Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language"],"prefix":"10.1016","volume":"70","author":[{"given":"Rafael H.","family":"Bordini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c1lvaro F.","family":"Moreira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80591-7_NEWBIB1","doi-asserted-by":"crossref","unstructured":"Bordini, R. H., A. L. C. Bazzan, R. O. Jannone, D. M. Basso, R. M. Vicari and V. R. Lesser, AgentSpeak(XL): Efficient intention selection in BDI agents via decision-theoretic task scheduling, in: C. Castelfranchi and W. L. Johnson, editors, Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2002, featuring 6th AGENTS, 5th ICMAS and 9th ATAL), 15-19 July, Bologna, Italy (2002), pp. 1294\u20131302.","DOI":"10.1145\/545056.545122"},{"key":"10.1016\/S1571-0661(04)80591-7_NEWBIB2","series-title":"\u201cIntentions, Plans and Practical Reason\u201d","author":"Bratman","year":"1987"},{"key":"10.1016\/S1571-0661(04)80591-7_NEWBIB3","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","article-title":"ConGolog: A concurrent programming language based on the situation calculus","volume":"121","author":"de Giacomo","year":"2000","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1571-0661(04)80591-7_NEWBIB4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/logcom\/8.3.233","article-title":"Engineering AgentSpeak(L): A formal computational model","volume":"8","author":"d'Inverno","year":"1998","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1571-0661(04)80591-7_NEWBIB5","doi-asserted-by":"crossref","unstructured":"Fisher, M., A survey of concurrent MetateM\u2014the language and its applications, in: D. M. Gabbay and H. J. Ohlbach, editors, Temporal Logics\u2014Proceedings of the First International Conference, number 827 in Lecture Notes in Artificial Intelligence, Springer-Verlag, Berlin, 1994 pp. 480\u2013505.","DOI":"10.1007\/BFb0014005"},{"key":"10.1016\/S1571-0661(04)80591-7_NEWBIB6","unstructured":"Georgeff, M. P. and A. L. Lansky, Reactive reasoning and planning, in: Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI'87), 13\u201317 July, 1987, Seattle, WA (1987), pp. 677\u2013682."},{"key":"10.1016\/S1571-0661(04)80591-7_NEWBIB7","doi-asserted-by":"crossref","unstructured":"Hindriks, K. V., F. S. de Boer, W. van der Hoek and J.- J. C. Meyer, Control structures of rule-based agent languages, in: J. P. M\u00fcller, M. P. Singh and A. S. Rao, editors, Intelligent Agents V\u2014Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), held as part of the Agents' World, Paris, 4\u20137 July, 1998 number 1555 in Lecture Notes in Artificial Intelligence (1999), pp. 381\u2013396.","DOI":"10.1007\/3-540-49057-4_25"},{"key":"10.1016\/S1571-0661(04)80591-7_NEWBIB8","unstructured":"Kinny, D., The distributed multi-agent reasoning system architecture and language specification, Technical report, Australian Artificial Intelligence Institute, Melbourne, Australia (1993)."},{"key":"10.1016\/S1571-0661(04)80591-7_NEWBIB9","unstructured":"Leite, J. A., J. J. Alferes and L. M. Pereira, \n\t\t\t\t\t\t\n\t\t\t\t\t\t\tMINERVA\n\t\t\t\t\t\t\u2014a dynamic logic programming agent architecture, in: J.-J. Meyer and M. Tambe, editors, Intelligent Agents VIII \u2013 Proceedings of the Eighth International Workshop on Agent Theories, Architectures, and Languages (ATAL-2001), August 1\u20133, 2001, Seattle, WA, number 2333 in Lecture Notes in Artificial Intelligence (2002), pp. 141\u2013157."},{"key":"10.1016\/S1571-0661(04)80591-7_NEWBIB10","unstructured":"Machado, R. and R. H. Bordini Running AgentSpeak(L) agents on SIM_AGENT, in: J.-J. Meyer and M. Tambe, editors, Intelligent Agents VIII \u2013 Proceedings of the Eighth International Workshop on Agent Theories, Architectures, and Languages (ATAL-2001), August 1\u20133, 2001, Seattle, WA, number 2333 in Lecture Notes in Artificial Intelligence (2002), pp. 158\u2013174."},{"key":"10.1016\/S1571-0661(04)80591-7_NEWBIB11","unstructured":"Moreira, \u00c1. F. and R. H. Bordini, An operational semantics for a BDI agent-oriented programming language, in: Proceedings of the Workshop on Logics for Agent-Based Systems (LABS-02), held in conjunction with the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), April 22\u201325, Toulouse, France, 2002, pp. 45\u201359."},{"key":"10.1016\/S1571-0661(04)80591-7_NEWBIB12","unstructured":"Rao, A. S., AgentSpeak(L): BDI agents speak out in a logical computable language, in: W. Van de Velde and J. Perram, editors, Proceedings of the Seventh Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'96), 22\u201325 January, Eindhoven, The Netherlands, number 1038 in Lecture Notes in Artificial Intelligence (1996), pp. 42\u201355."},{"key":"10.1016\/S1571-0661(04)80591-7_NEWBIB13","unstructured":"Rao, A. S. and M. P. Georgeff, BDI agents: From theory to practice, in: V. Lesser and L. Gasser, editors, Proceedings of the First International Conference on Multi-Agent Systems (ICMAS'95), 12\u201314 June, San Francisco, CA (1995), pp. 312\u2013319."},{"key":"10.1016\/S1571-0661(04)80591-7_NEWBIB14","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1093\/logcom\/8.3.293","article-title":"Decision procedures for BDI logics","volume":"8","author":"Rao","year":"1998","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1571-0661(04)80591-7_NEWBIB15","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0004-3702(93)90034-9","article-title":"Agent-oriented programming","volume":"60","author":"Shoham","year":"1993","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1571-0661(04)80591-7_NEWBIB16","series-title":"Multiagent Systems\u2014A Modern Approach to Distributed Artificial Intelligence","first-page":"331","article-title":"Formal methods in DAI: Logic-based representation and reasoning","author":"Singh","year":"1999"},{"key":"10.1016\/S1571-0661(04)80591-7_NEWBIB17","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1145\/295685.295704","article-title":"Building cognitively rich agents using the SIM_AGENT toolkit","volume":"43","author":"Sloman","year":"1999","journal-title":"Communications of the Association of Computing Machinery"},{"key":"10.1016\/S1571-0661(04)80591-7_NEWBIB18","unstructured":"Winikoff, M., L. Padgham, J. Harland and J. Thangarajah, Declarative and procedural goals in intelligent agent systems, in: Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), 22\u201325 April, Toulouse, France, 2002, pp. 470\u2013481."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805917?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805917?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:06:16Z","timestamp":1761609976000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104805917"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,10]]},"references-count":18,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2002,10]]}},"alternative-id":["S1571066104805917"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80591-7","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2002,10]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Proving the Asymmetry Thesis Principles for a BDI Agent-Oriented Programming Language","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)80591-7","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"}]}}