{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:37:41Z","timestamp":1725496661382},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540402107"},{"type":"electronic","value":"9783540448686"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44868-3_81","type":"book-chapter","created":{"date-parts":[[2007,11,29]],"date-time":"2007-11-29T19:49:24Z","timestamp":1196365764000},"page":"638-645","source":"Crossref","is-referenced-by-count":0,"title":["An Agent Based Approach of Collective Foraging"],"prefix":"10.1007","author":[{"given":"Marian","family":"Gheorghe","sequence":"first","affiliation":[]},{"given":"Carlos","family":"Mart\u00edn-Vide","sequence":"additional","affiliation":[]},{"given":"Victor","family":"Mitrana","sequence":"additional","affiliation":[]},{"given":"Mario J.","family":"P\u00e9rez Jim\u00e9nez","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,18]]},"reference":[{"key":"81_CR1","first-page":"1","volume":"49","author":"J. Aguado","year":"2001","unstructured":"J. Aguado, T. B\u0103l\u0103nescu, T. Cowling, M. Gheorghe, M. Holcombe, F. Ipate, P systems with replicated rewriting and stream X-machines (Eilenberg machines), Fundamenta Informaticae 49(2001), 1\u201317.","journal-title":"Fundamenta Informaticae"},{"key":"81_CR2","doi-asserted-by":"crossref","unstructured":"A. Attoui, A. Hasbani, Reactive systems developing by formal specification transformations. In Proceedings of the 8th International Workshop on Database and Expert Systems Applications (DEXA 97), 1997, 339\u2013344.","DOI":"10.1109\/DEXA.1997.617306"},{"key":"81_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/3-540-36490-0_5","volume-title":"Membrane Computing","author":"D. Balbot\u00edn Noval","year":"2003","unstructured":"D. Balbot\u00edn Noval, M. J. P\u00e9rez Jim\u00e9nez, F. Sancho Caparrini, A MzSceme Implementation of Transition P Systems. In Membrane Computing (Gh. P\u0103un, G. Rozenberg, A. Salomaa, C. Zandron, eds.), LNCS 2597, Springer-Verlag, 2003, 58\u201373."},{"key":"81_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/3-540-36490-0_4","volume-title":"Membrane computing","author":"T. B\u0103l\u0103nescu","year":"2003","unstructured":"T. B\u0103l\u0103nescu, M. Gheorghe, M. Holcombe, F. Ipate, Eilenberg P systems. In Membrane computing (Gh. P\u0103un, G. Rozenberg, A. Salomaa, C. Zandron, eds.), LNCS 2597, Springer-Verlag, 2003, 43\u201357."},{"key":"81_CR5","doi-asserted-by":"crossref","unstructured":"M. Benerecetti, F. Giunchiglia, L. Serafini, A model checking algorithm for multiagent systems. In Intelligent Agents V (J. P. Muller, M. P. Singh, A. S. Rao, eds.), LNAI 1555, Springer-Verlag, 1999, 163\u2013176.","DOI":"10.1007\/3-540-49057-4_11"},{"key":"81_CR6","doi-asserted-by":"crossref","unstructured":"F. Brazier, B. Dunin-Keplicz, N. Jennings, J. Treur, Formal specification of multiagent systems: a real-world case. In Proceedings of International Conference on Multi-Agent Systems (ICMAS\u201995), MIT Press, 1995, 25\u201332.","DOI":"10.1007\/3-540-58855-8_6"},{"key":"81_CR7","doi-asserted-by":"crossref","unstructured":"L. Clark, R. Paton, Towards computational models of chemotaxis in Escherichia coli. In Information Processing in Cells and Tissues (M. Holcombe, R. Paton, eds.), Plenum Press, 1998, 39\u201346.","DOI":"10.1007\/978-1-4615-5345-8_5"},{"key":"81_CR8","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/S0303-2647(01)00164-2","volume":"61","author":"M. Gheorghe","year":"2001","unstructured":"M. Gheorghe, M. Holcombe, P. Kefals, Computational models of collective foraging, BioSystems, 61(2001), 133\u2013141.","journal-title":"BioSystems"},{"key":"81_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3435-0","volume-title":"Correct systems: Building a Business Process Solution","author":"M. Holcombe","year":"1998","unstructured":"M. Holcombe, F. Ipate, Correct systems: Building a Business Process Solution, Springer Verlag, London, 1998."},{"key":"81_CR10","doi-asserted-by":"crossref","unstructured":"M. D\u2019Inverno, D. Kinny, M. Luck, M. Wooldridge, A formal speci.cation of dMARS. In Intelligent Agents IV (M.P. Singh, A. Rao, M.J. Wooldridge, eds.), LNAI 1365, Springer-Verlag, 1998, 155\u2013176.","DOI":"10.1007\/BFb0026757"},{"key":"81_CR11","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0004-3702(99)00107-1","volume":"117","author":"N. R. Jennings","year":"2000","unstructured":"N. R. Jennings, On agent-based software engineering, Artificial Intelligence, 117(2000), 277\u2013296.","journal-title":"Artificial Intelligence"},{"key":"81_CR12","doi-asserted-by":"crossref","unstructured":"E. Kapeti, P. Kefalas, A design language and tool for X-machines specification. In Advances in Informatics (D. I. Fotiadis, S. D. Nikolopoulos, eds.), World Scientific Publishing Company, 2001, 134\u2013145.","DOI":"10.1142\/9789812793928_0012"},{"key":"81_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56196-2","volume-title":"Membrane Computing. An Introduction","author":"Gh. P\u0103un","year":"2002","unstructured":"Gh. P\u0103un, Membrane Computing. An Introduction, Springer, Berlin, 2002."},{"key":"81_CR14","unstructured":"A. S. Rao, M. P. George., A model-theoretic approach to the veri.cation of situated reasoning systems. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence (IJCAI\u201993) (R. Bajcsy, ed.), 1993, 318\u2013324."},{"key":"81_CR15","unstructured":"A. S. Rao, M. P. George., BDI Agents: from theory to practice. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS95), 1995, 312\u2013319."},{"key":"81_CR16","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0004-3702(94)00056-7","volume":"73","author":"S. R. Rosenschein","year":"1995","unstructured":"S. R. Rosenschein, L. P. Kaebling, A situated view of representation and control, Artificial Intelligence, 73(1995), 149\u2013173.","journal-title":"Artificial Intelligence"},{"key":"81_CR17","unstructured":"J. Odell, H. V. D. Parunak, B. Bauer, Extending UML for agents. In Proceedings of the Agent-Oriented Information Systems Workshop at the 17th National conference on Artificial Intelligence, 2000."},{"key":"81_CR18","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s002650050522","volume":"44","author":"H. Vries de","year":"1998","unstructured":"H. de Vries, J. C. Biesmeijer, Modelling collective foraging by means of individual behaviour rules in honey-bees, Behavioral Ecology and Sociobiology, 44(1998), 109\u2013124.","journal-title":"Behavioral Ecology and Sociobiology"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Neural Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44868-3_81","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,15]],"date-time":"2023-05-15T00:49:29Z","timestamp":1684111769000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44868-3_81"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540402107","9783540448686"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-44868-3_81","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}