{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,7]],"date-time":"2026-01-07T09:16:07Z","timestamp":1767777367328},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540438588"},{"type":"electronic","value":"9783540454489"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45448-9_12","type":"book-chapter","created":{"date-parts":[[2007,5,21]],"date-time":"2007-05-21T13:03:25Z","timestamp":1179752605000},"page":"158-174","source":"Crossref","is-referenced-by-count":10,"title":["Running AgentSpeak(L) Agents on SIM_AGENT"],"prefix":"10.1007","author":[{"given":"Rodrigo","family":"Machado","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafael H.","family":"Bordini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,6,21]]},"reference":[{"volume-title":"POP-11 Comes of Age: The Advancement of an AI Programming Language","year":"1989","key":"12_CR1","unstructured":"James A. D. W. Anderson, editor. POP-11 Comes of Age: The Advancement of an AI Programming Language. Ellis Horwood, Chichester, U.K., 1989."},{"key":"12_CR2","unstructured":"Rafael H. Bordini, John A. Campbell, and Renata Vieira. Extending ascribed intensional ontologies with taxonomical relations in anthropological descriptions of multi-agent systems. Journal of Artificial Societies and Social Simulation, 1(4), October 1998. <http:\/\/www.soc.surrey.ac.uk\/JASSS\/1\/4\/3.html> ."},{"issue":"3","key":"12_CR3","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P. R. Cohen","year":"1990","unstructured":"Philip R. Cohen and Hector J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42(3):213\u2013261, 1990.","journal-title":"Artificial Intelligence"},{"key":"12_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/BFb0026757","volume-title":"Intelligent Agents IV\u2014Proceedings of the Fourth International Workshop on Agent Theories, Architectures, and Languages (ATAL-97), Providence, RI, 24\u201326 July, 1997","author":"M. d\u2019Inverno","year":"1998","unstructured":"Mark d\u2019Inverno, David Kinny, Michael Luck, and Michael Wooldridge. A formal specification of dMARS. In Munindar P. Singh, Anand S. Rao, and Michael Wooldridge, editors, Intelligent Agents IV\u2014Proceedings of the Fourth International Workshop on Agent Theories, Architectures, and Languages (ATAL-97), Providence, RI, 24\u201326 July, 1997, number 1365 in Lecture Notes in Artificial Intelligence, pages 155\u2013176. Springer-Verlag, Berlin, 1998."},{"issue":"3","key":"12_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/logcom\/8.3.233","volume":"8","author":"M. d\u2019Inverno","year":"1998","unstructured":"Mark d\u2019Inverno and Michael Luck. Engineering AgentSpeak(L): A formal computational model. Journal of Logic and Computation, 8(3): 1\u201327, 1998.","journal-title":"Journal of Logic and Computation"},{"key":"12_CR6","unstructured":"Gregory Duck and Leon Sterling. Prototyping from a specification\u2014 an agent-based case study. Unpublished paper, available at URL http:\/\/www.cs.mu.oz.au\/~gjd\/research\/ ."},{"key":"12_CR7","unstructured":"Michael P. Georgeff and A. L. Lansky. Reactive reasoning and planning. In Proceedings of the Sixth National Conference on Artificial Intelligence(AAAI\u20197), 13\u201317 July, 1987, Seattle, WA, pages 677\u2013682, Manlo Park, CA, 1987. AAAI Press \/ MIT Press."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, and John-Jules Ch. Meyer. Control structures of rule-based agent languages. In J\u00f6rg P. M\u00fcller, Munindar P. Singh, and Anand 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\u2019 World, Paris, 4\u20137 July, 1998, number 1555 in Lecture Notes in Artificial Intelligence, pages 381\u2013396, Heidelberg, 1999. Springer-Verlag.","DOI":"10.1007\/3-540-49057-4_25"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Marcus J. Huber. JAM: A BDI-theoretic mobile agent architecture. In Proceedings of the Third International Conference on Autonomous Agents (Agents-99), 1\u20135 May, Seattle, WA, pages 236\u2013243. ACM Press, 1999.","DOI":"10.1145\/301136.301202"},{"key":"12_CR10","unstructured":"David Kinny. The \u03a8 calculus: an algebraic agent language. (In this volume)."},{"key":"12_CR11","volume-title":"Technical report","author":"D. Kinny","year":"1993","unstructured":"David Kinny. The distributed multi-agent reasoning system architecture and language specification. Technical report, Australian Artificial Intelligence Institute, Melbourne, Australia, 1993."},{"key":"12_CR12","unstructured":"Jo\u00e3o Alexandre Leite, Jos\u00e9 J\u00falio Alferes, and Lu\u00eds Moniz Pereira. $$ \\mathcal{M}\\mathcal{I}\\mathcal{N}\\mathcal{E}\\mathcal{R}\\mathcal{V}\\mathcal{A} $$ \u2014a dynamic logic programming agent architecture. (In this volume)."},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Robin Milner, Joachim Parrow, and David Walker. A calculus for mobile processes (parts I and II). Information and Computation, 100(1):1\u201340 and 41\u201377, September 1992.","DOI":"10.1016\/0890-5401(92)90009-5"},{"key":"12_CR14","volume-title":"Technical report","author":"G. D. Plotkin","year":"1981","unstructured":"Gordon D. Plotkin. A structural approach to operational semantics. Technical report, Computer Science Department, Aarhus University, Aarhus, 1981."},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Anand S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In Walter Van deVelde and John Perram, editors, Proceedings of the Seventh Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW\u201996), 22\u201325 January, Eindhoven, The Netherlands, number 1038 in Lecture Notes in Artificial Intelligence, pages 42\u201355, London, 1996. Springer-Verlag.","DOI":"10.1007\/BFb0031845"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Anand S. Rao. Decision procedures for propositional linear-time belief-desire-intention logics. In Michael Wooldridge, J\u00f6rg P. M\u00fcller, and Milind Tambe, editors, Intelligent Agents II \u2014 Proceedings of the Second International Workshop on Agent Theories, Architectures, and Languages (ATAL\u201995), held as part of IJCAI\u201995, Montr\u00e9al, Canada, August 1995, number 1037 in Lecture Notes in Artificial Intelligence, pages 33\u201348, Berlin, 1996. Springer-Verlag.","DOI":"10.1007\/3540608052_57"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Rosaldo J. F. Rossetti, Rafael H. Bordini, Ana L.C. Bazzan, Sergio Bampi, Ronghui Liu, and Dirck Van Vliet. Using BDI agents to improve driver modelling in a commuter scenario. Transportation Research Part C: Emerging Technologies, 2002. To appear.","DOI":"10.1016\/S0968-090X(02)00027-X"},{"key":"12_CR18","first-page":"331","volume-title":"Multiagent Systems \u2014 A Modern Approach to Distributed Artificial Intelligence","author":"M. P. Singh","year":"1999","unstructured":"Munindar P. Singh, Anand S. Rao, and Michael P. Georgeff. Formal methods in DAI: Logicbased representation and reasoning. In Gerhard Wei\u00df, editor, Multiagent Systems \u2014 A Modern Approach to Distributed Artificial Intelligence, chapter 8, pages 331\u2013376. MIT Press, Cambridge, MA, 1999."},{"key":"12_CR19","first-page":"30","volume-title":"POP-11 Comes of Age: The Advancement of an AI Programming Language","author":"A. Sloman","year":"1989","unstructured":"Aaron Sloman. The evolution of Popolog and POP-11 at Sussex University. In James A. D. W. Anderson, editor, POP-11 Comes of Age: The Advancement of an AI Programming Language, pages 30\u201354. Ellis Horwood, Chichester, U.K., 1989."},{"issue":"2","key":"12_CR20","first-page":"71","volume":"43","author":"Aaron Sloman and Brian Logan","year":"1999","unstructured":"Aaron Sloman and Brian Logan. Building cognitively rich agents using the SIM_AGENT toolkit. Communications of the Association of Computing Machinery, 43(2):71\u201377, March 1999.","journal-title":"Communications of the Association of Computing Machinery"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Aaron Sloman and Riccardo Poli. SIM_AGENT: A toolkit for exploring agent designs. In Michael Wooldridge, J\u00f6rg P. M\u00fcller, and Milind Tambe, editors, Intelligent Agents II \u2014 Proceedings of the Second International Workshop on Agent Theories, Architectures, and Languages (ATAL\u201995), held as part of IJCAI\u201995, Montr\u00e9al, Canada, August 1995, number 1037 in Lecture Notes in Artificial Intelligence, pages 392\u2013407, Berlin, 1996. Springer-Verlag.","DOI":"10.1007\/3540608052_80"},{"key":"12_CR22","unstructured":"J. Michael Spivey. The Z Notation: A Reference Manual. Prentice Hall, Hemel Hempstead, second edition, 1992."},{"key":"12_CR23","first-page":"27","volume-title":"Multiagent Systems \u2014A Modern Approach to Distributed Artificial Intelligence","author":"M. Wooldridge","year":"1999","unstructured":"Michael Wooldridge. Intelligent agents. In Gerhard Wei\u00df, editor, Multiagent Systems \u2014A Modern Approach to Distributed Artificial Intelligence, chapter 1, pages 27\u201377. MIT Press, Cambridge, MA, 1999."},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Michael Wooldridge. Computationally grounded theories of agency. In Edmund Durfee, editor, Proceedings of the Fourth International Conference on Multi-Agent Systems (ICMAS-2000), 10\u201312 July, Boston, pages 13\u201320, Los Alamitos, CA, 2000. IEEE Computer Society. Paper for an Invited Talk.","DOI":"10.1109\/ICMAS.2000.858426"}],"container-title":["Lecture Notes in Computer Science","Intelligent Agents VIII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45448-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T02:40:56Z","timestamp":1556419256000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45448-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540438588","9783540454489"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-45448-9_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}