{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:33:55Z","timestamp":1761489235487},"reference-count":50,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2013,11,1]],"date-time":"2013-11-01T00:00:00Z","timestamp":1383264000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Comput. Intell. Mag."],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/mci.2013.2279559","type":"journal-article","created":{"date-parts":[[2013,10,21]],"date-time":"2013-10-21T22:18:06Z","timestamp":1382393886000},"page":"25-38","source":"Crossref","is-referenced-by-count":14,"title":["Autonomous Asteroid Exploration by Rational Agents"],"prefix":"10.1109","volume":"8","author":[{"given":"N.K.","family":"Lincoln","sequence":"first","affiliation":[]},{"given":"S.M.","family":"Veres","sequence":"additional","affiliation":[]},{"given":"L.A.","family":"Dennis","sequence":"additional","affiliation":[]},{"given":"M.","family":"Fisher","sequence":"additional","affiliation":[]},{"given":"A.","family":"Lisitsa","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","first-page":"1","article-title":"Reducing code complexity in hybrid control systems","author":"dennis","year":"0","journal-title":"Int Symp Artificial Intelligence Robotics and Automation in Space (i-SAIRAS)"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.1998.687914"},{"key":"ref33","article-title":"JACK intelligent agents —Summary of an agent infrastructure","author":"howden","year":"0","journal-title":"Proc 5th Int Conf Autonomous Agents"},{"key":"ref32","first-page":"76","article-title":"Jadex: Implementing a BDI-infrastructure for JADE agents","volume":"3","author":"pokahr","year":"2003","journal-title":"EXP—Sear Innov"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1002\/9780470058411"},{"key":"ref30","author":"bratman","year":"1987","journal-title":"Intention Plans and Practical Reason"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00068-X"},{"key":"ref36","year":"0","journal-title":"NASA jet propulsion laboratory Mission data system"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/64.180407"},{"key":"ref34","first-page":"677","article-title":"Reactive reasoning and planning","author":"georgeff","year":"0","journal-title":"Proc 6th Nat Conf Artificial Intelligence"},{"key":"ref28","first-page":"312","article-title":"BDI agents: From theory to practice","author":"rao","year":"0","journal-title":"Proc 1st Int Conf Multi-Agent Systems"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888900008122"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"45","DOI":"10.3233\/ICA-2001-8104","article-title":"The AARIA agent architecture: From manufacturing requirements to agent-based system design","author":"parunak","year":"2001","journal-title":"J Integr Comput -Aided Eng"},{"key":"ref2","first-page":"310","article-title":"An agent based framework for adaptive control and decision making of autonomous vehicles","author":"lincoln","year":"0","journal-title":"Proc IFAC Workshop Adaptation Learning Control Signal Processing"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20715-0_6"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14843-9_4"},{"key":"ref22","first-page":"49","article-title":"Hybrid automata dicretising agents for formal modelling of robots","author":"molnar","year":"0","journal-title":"Proc 18th IFAC World Congr"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45023-8_22"},{"key":"ref23","article-title":"MATLAB Programming Environment","year":"0","journal-title":"Simulink Stateflow and the Realtime Workshop MathWorks"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/152683.152699"},{"key":"ref25","article-title":"Adaptive execution in complex dynamic worlds","author":"firby","year":"1990"},{"key":"ref50","author":"jbullet","year":"0","journal-title":"Java port of bullet physics library"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/2.144395"},{"key":"ref11","article-title":"Multi-Agent Programming: Languages, Tools and Applications","author":"bordini","year":"2009"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/MCI.2013.2264573"},{"key":"ref12","article-title":"Natural Language Programming of Agents and Robotic Devices: Publishing for Humans and Machines in sEnglish","author":"veres","year":"2008"},{"key":"ref13","article-title":"Programming Multi-Agent Systems in AgentSpeak Using Jason","author":"bordini","year":"2007"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0017806"},{"key":"ref15","first-page":"195","article-title":"On three-layer architectures","author":"gat","year":"1997","journal-title":"Artificial Intelligence and Mobile Robots"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58855-8_17"},{"key":"ref17","year":"0","journal-title":"CLARAty NASA jet propulsion laboratory"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2005.848491"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806650"},{"key":"ref4","article-title":"Hayabusa spacecraft","year":"0","journal-title":"JAXA"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.2514\/6.2007-2953"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"ref5","year":"0","journal-title":"NASA Dawn spacecraft"},{"key":"ref8","article-title":"An Introduction to MultiAgent Systems","author":"wooldridge","year":"2002"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1996.561342"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/BF00247653"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-011-0088-x"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1029\/1999JA000141"},{"key":"ref47","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","article-title":"Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems","volume":"736","author":"alur","year":"1993","journal-title":"Hybrid Systems"},{"key":"ref42","article-title":"Theoretical foundations of natural language programming and publishing for intelligent agents and robots","author":"veres","year":"0","journal-title":"11th Conference Towards Autonomous Robotic Systems"},{"key":"ref41","year":"0","journal-title":"SysBrain Ltd sEnglish publisher"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"ref43","article-title":"Gwendolen: A BDI language for verifiable agents","author":"dennis","year":"2008","journal-title":"Logic and the Simulation of Interaction and Reasoning"}],"container-title":["IEEE Computational Intelligence Magazine"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10207\/6632946\/06632950.pdf?arnumber=6632950","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:18:08Z","timestamp":1642004288000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6632950\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":50,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/mci.2013.2279559","relation":{},"ISSN":["1556-603X"],"issn-type":[{"value":"1556-603X","type":"print"}],"subject":[],"published":{"date-parts":[[2013,11]]}}}