{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:52:21Z","timestamp":1725551541028},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/sew.2003.1270725","type":"proceedings-article","created":{"date-parts":[[2004,7,8]],"date-time":"2004-07-08T20:05:44Z","timestamp":1089317144000},"page":"51-57","source":"Crossref","is-referenced-by-count":6,"title":["Formal approaches to intelligent swarms"],"prefix":"10.1109","author":[{"given":"C.","family":"Rouff","sequence":"first","affiliation":[]},{"given":"W.","family":"Truszkowski","sequence":"additional","affiliation":[]},{"given":"J.","family":"Rash","sequence":"additional","affiliation":[]},{"given":"M.","family":"Hinchey","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"227","article-title":"Describing social insect behaviour using process algebra","author":"tofts","year":"1991","journal-title":"Trans Soc Computer Simulation"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1006\/bulm.2001.0252"},{"key":"ref12","article-title":"Towards a formal description of intracellular biochemical organization","author":"holcombe","year":"1986","journal-title":"Technical Report CS-86–1"},{"key":"ref13","article-title":"Mathematical models of cell biochemistry","author":"holcombe","year":"1986","journal-title":"Technical Report CS-86–1"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0950-5849(95)01066-1"},{"key":"ref15","article-title":"The Specification of Dynamic Distributed Component Systems","author":"kiniry","year":"1998","journal-title":"CS-T R- 98–08"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICCL.1992.185468"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00018-1"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"ref19","article-title":"Modeling Rational Agents within a BDI-Architecture","author":"rao","year":"1991","journal-title":"Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0300-72"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-5347(97)01048-3"},{"key":"ref6","article-title":"ANTS (Autonomous Nano-Technology Swarm): An Artificial Intelligence Approach to Asteroid Belt Resource Exploration","author":"curtis","year":"2000","journal-title":"Int Astronautical Federation 51st Congr"},{"journal-title":"Prospecting ANTS Missions Applying a New Paradigm to Lunar and Planetary Exploration","year":"0","author":"clark","key":"ref5"},{"key":"ref8","article-title":"Validating the DSI Remote Agent Experiment","author":"nayak","year":"1999","journal-title":"Proceedings of the 5th International Symposium on Artificial Intelligence Robotics and Automation in Space (iSAlRAS-99)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0523-7"},{"key":"ref2","first-page":"425","article-title":"Swarm Intelligence","author":"beni","year":"1989","journal-title":"Proceedings of the Seventh Annual Meeting of the Robotics Society of Japan"},{"journal-title":"Working Paper","article-title":"Protocol for ANTS Encounters","year":"0","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2000.873929"},{"key":"ref20","article-title":"UML: A Formalism for Specifying Multiagent Software Systems","author":"bauer","year":"2000","journal-title":"Proceedings of ICSE 2000 Workshop on Agent-Oriented Software Engineering AOSE 2000 Limerick"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/32.841115"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICFEM.1997.630434"}],"event":{"name":"28th Annual NASA Goddard Software Engineering Workshop, 2003.","location":"Greenbelt, Maryland, USA"},"container-title":["28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8966\/28448\/01270725.pdf?arnumber=1270725","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T00:46:08Z","timestamp":1489538768000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1270725\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/sew.2003.1270725","relation":{},"subject":[]}}