{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T22:14:14Z","timestamp":1765232054073,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,5,19]],"date-time":"2013-05-19T00:00:00Z","timestamp":1368921600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,5,19]]},"DOI":"10.1145\/2486092.2486122","type":"proceedings-article","created":{"date-parts":[[2013,5,21]],"date-time":"2013-05-21T12:34:01Z","timestamp":1369139641000},"page":"231-240","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Formalization of emergence in multi-agent systems"],"prefix":"10.1145","author":[{"given":"Yong Meng","family":"Teo","sequence":"first","affiliation":[{"name":"National University of Singapore, Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ba Linh","family":"Luong","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudia","family":"Szabo","sequence":"additional","affiliation":[{"name":"University of Adelaide, Adelaide, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,5,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1002\/cplx.v12:1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.3406\/intel.1997.1558"},{"key":"e_1_3_2_1_3_1","volume-title":"Principles of Model Checking","author":"Baier C.","year":"2008","unstructured":"C. Baier and J. Katoen , Principles of Model Checking , The MIT Press , 2008 . C. Baier and J. Katoen, Principles of Model Checking, The MIT Press, 2008."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1002\/cplx.20029"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1111\/0029-4624.31.s11.17"},{"key":"e_1_3_2_1_6_1","first-page":"5","volume":"3","author":"Bedau M. A.","year":"2003","unstructured":"M. A. Bedau , Downward Causation and the Autonomy of Weak Emergence , Principia 3 , 3: 5 -- 50 , 2003 . M. A. Bedau, Downward Causation and the Autonomy of Weak Emergence, Principia 3, 3:5--50, 2003.","journal-title":"Principia"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.3406\/intel.1997.1559"},{"key":"e_1_3_2_1_8_1","volume-title":"The Re-emergence of Emergence","author":"Chalmers D. J.","year":"2006","unstructured":"D. J. Chalmers , Strong and Weak Emergence , The Re-emergence of Emergence , Oxford University Press , 2006 . D. J. Chalmers, Strong and Weak Emergence, The Re-emergence of Emergence, Oxford University Press, 2006."},{"key":"e_1_3_2_1_9_1","first-page":"357","volume-title":"Proc of Winter Simulation Conference","author":"Chan W. K. V.","year":"2011","unstructured":"W. K. V. Chan , Interaction Metric of Emergent Behaviors in Agent-based Simulation , Proc of Winter Simulation Conference , pages 357 -- 368 , 2011 . W. K. V. Chan, Interaction Metric of Emergent Behaviors in Agent-based Simulation, Proc of Winter Simulation Conference, pages 357--368, 2011."},{"key":"e_1_3_2_1_11_1","first-page":"479","author":"J. P.","year":"1994","unstructured":"J. P. Crutch_eld, Is Anything Ever New? Considering Emergence , Complexity: Metaphors, Models, and Reality, G. Cowan , D. Pines , and D. Melzner (eds.) , SFI Series in the Sciences of Complexity XIX : 479 -- 497 , Addison-Wesley, 1994 . J. P. Crutch_eld, Is Anything Ever New? Considering Emergence, Complexity: Metaphors, Models, and Reality, G. Cowan, D. Pines, and D. Melzner (eds.), SFI Series in the Sciences of Complexity XIX:479--497, Addison-Wesley, 1994.","journal-title":"SFI Series in the Sciences of Complexity"},{"key":"e_1_3_2_1_12_1","first-page":"411","volume-title":"Artificial Life IV","author":"Darley V.","year":"1994","unstructured":"V. Darley , Emergent Phenomena and Complexity , Artificial Life IV , pages 411 -- 416 , 1994 . V. Darley, Emergent Phenomena and Complexity, Artificial Life IV, pages 411--416, 1994."},{"key":"e_1_3_2_1_13_1","first-page":"24","volume":"3","author":"Deguet J.","year":"2006","unstructured":"J. Deguet , L. Magnin , and Y. Demazeau , Elements about the Emergence Issue: A Survey of Emergence Definitions, ComPlexUs , 3 : 24 -- 31 , 2006 . J. Deguet, L. Magnin, and Y. Demazeau, Elements about the Emergence Issue: A Survey of Emergence Definitions, ComPlexUs, 3:24--31, 2006.","journal-title":"Elements about the Emergence Issue: A Survey of Emergence Definitions, ComPlexUs"},{"key":"e_1_3_2_1_14_1","volume-title":"Darwin Among the Machines: The Evolution of Global Intelligence","author":"Dyson G. B.","year":"1998","unstructured":"G. B. Dyson , Darwin Among the Machines: The Evolution of Global Intelligence , Perseus Books Group , 1998 . G. B. Dyson, Darwin Among the Machines: The Evolution of Global Intelligence, Perseus Books Group, 1998."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SASO.2010.31"},{"volume-title":"Complexity Digest","author":"Fromm J.","key":"e_1_3_2_1_16_1","unstructured":"J. Fromm , Types and Forms of Emergence , Complexity Digest , vol. 25(3), 2005 . J. Fromm, Types and Forms of Emergence, Complexity Digest, vol. 25(3), 2005."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1516744.1516877"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/SocialCom.2010.107"},{"key":"e_1_3_2_1_19_1","volume-title":"A Survey of Agent-based Modeling Practices (January 1998 to","author":"Heath B.","year":"2008","unstructured":"B. Heath , R. Hill , and F. Ciarallo , A Survey of Agent-based Modeling Practices (January 1998 to July 2008 ), Journal of Artificial Societies and Social Simulation , 12(4):9, 2009. B. Heath, R. Hill, and F. Ciarallo, A Survey of Agent-based Modeling Practices (January 1998 to July 2008), Journal of Artificial Societies and Social Simulation, 12(4):9, 2009."},{"key":"e_1_3_2_1_20_1","volume-title":"Emergence: From Chaos to Order","author":"Holland J. H.","year":"1997","unstructured":"J. H. Holland , Emergence: From Chaos to Order , Addison Wesley , 1997 . J. H. Holland, Emergence: From Chaos to Order, Addison Wesley, 1997."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2006.01.008"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1162\/106454603321489518"},{"key":"e_1_3_2_1_23_1","first-page":"1295","volume-title":"Low, A Survey of Emergent Behavior and Its Impacts in Agent-based Systems. Proc of IEEE International Conference on Industrial Informatics","author":"Li Z.","year":"2006","unstructured":"Z. Li , C. H. Sim , and M. Y. H. Low, A Survey of Emergent Behavior and Its Impacts in Agent-based Systems. Proc of IEEE International Conference on Industrial Informatics , pages 1295 -- 1300 , 2006 . Z. Li, C. H. Sim, and M. Y. H. Low, A Survey of Emergent Behavior and Its Impacts in Agent-based Systems. Proc of IEEE International Conference on Industrial Informatics, pages 1295--1300, 2006."},{"key":"e_1_3_2_1_24_1","first-page":"25","volume-title":"Proc of 14th World Multi-conference on Systemics, Cybernetics and Informatics","author":"Manley E. J.","year":"2010","unstructured":"E. J. Manley and T. Cheng , Understanding Road Congestion as an Emergent Property of Traffic Networks , Proc of 14th World Multi-conference on Systemics, Cybernetics and Informatics , pages 25 -- 34 , 2010 . E. J. Manley and T. Cheng, Understanding Road Congestion as an Emergent Property of Traffic Networks, Proc of 14th World Multi-conference on Systemics, Cybernetics and Informatics, pages 25--34, 2010."},{"key":"e_1_3_2_1_25_1","first-page":"16","volume":"10","author":"Moncion T.","year":"2010","unstructured":"T. Moncion , P. Amar , and G. Hutzler , Automatic Characterization of Emergent Phenomena in Complex Systems, Journal of Biological Physics and Chemistry , 10 : 16 -- 23 , 2010 . T. Moncion, P. Amar, and G. Hutzler, Automatic Characterization of Emergent Phenomena in Complex Systems, Journal of Biological Physics and Chemistry, 10:16--23, 2010.","journal-title":"Automatic Characterization of Emergent Phenomena in Complex Systems, Journal of Biological Physics and Chemistry"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/SMCALS.2006.250695"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217964"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1119\/1.3590372"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190326.1190330"},{"issue":"2","key":"e_1_3_2_1_30_1","first-page":"91","volume":"31","author":"O'Conner T.","year":"1994","unstructured":"T. O'Conner , Emergent Properties , American Philosophical Quarterly , 31 ( 2 ): 91 -- 104 , 1994 . T. O'Conner, Emergent Properties, American Philosophical Quarterly, 31(2):91--104, 1994.","journal-title":"American Philosophical Quarterly"},{"key":"e_1_3_2_1_31_1","volume-title":"Proc International Conference on Applied Economics","author":"Pele D. T.","year":"2011","unstructured":"D. T. Pele and A. M. Tepus , Information Entropy and Efficient Market Hypothesis , Proc International Conference on Applied Economics , 2011 . D. T. Pele and A. M. Tepus, Information Entropy and Efficient Market Hypothesis, Proc International Conference on Applied Economics, 2011."},{"key":"e_1_3_2_1_32_1","volume-title":"Proc of 2nd International Workshop on Engineering Emergence in Decentralized Autonomic Systems","author":"Randles M.","year":"2007","unstructured":"M. Randles , H. Zhu , and A. Taleb-Bendiab , A Formal Approach to the Engineering of Emergence and its Recurrence , Proc of 2nd International Workshop on Engineering Emergence in Decentralized Autonomic Systems , 2007 . M. Randles, H. Zhu, and A. Taleb-Bendiab, A Formal Approach to the Engineering of Emergence and its Recurrence, Proc of 2nd International Workshop on Engineering Emergence in Decentralized Autonomic Systems, 2007."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/37401.37406"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/1030033.1030079"},{"key":"e_1_3_2_1_35_1","first-page":"545","volume-title":"Artificial Life XI","author":"Seth A. K.","year":"2008","unstructured":"A. K. Seth , Measuring Emergence via Nonlinear Granger Causality , Artificial Life XI , pages 545 -- 552 , 2008 . A. K. Seth, Measuring Emergence via Nonlinear Granger Causality, Artificial Life XI, pages 545--552, 2008."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1948.tb01338.x"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/2429759.2430086"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/PADS.2012.9"},{"key":"e_1_3_2_1_39_1","first-page":"319","volume-title":"Book","author":"Teo Y. M.","year":"2013","unstructured":"Y. M. Teo and C. Szabo , Semantic Validation of Emergent Properties in Component-based Simulation Models , Book Chapter in Ontology, Epistemology, and Teleology of Modeling and Simulation -- Philosophical Foundations for Intelligent M&S Applications, edited by Andreas Tolk, pages 319 -- 333 , Springer-Verlag , 2013 . Y. M. Teo and C. Szabo, Semantic Validation of Emergent Properties in Component-based Simulation Models, Book Chapter in Ontology, Epistemology, and Teleology of Modeling and Simulation -- Philosophical Foundations for Intelligent M&S Applications, edited by Andreas Tolk, pages 319--333, Springer-Verlag, 2013."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00138-008-0132-4"}],"event":{"name":"SIGSIM-PADS '13: SIGSIM Principles of Advanced Discrete Simulation","sponsor":["SIGSIM ACM Special Interest Group on Simulation and Modeling"],"location":"Montr\u00a9al Qu\u00e9bec Canada","acronym":"SIGSIM-PADS '13"},"container-title":["Proceedings of the 1st ACM SIGSIM Conference on Principles of Advanced Discrete Simulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2486092.2486122","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2486092.2486122","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:53Z","timestamp":1750231733000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2486092.2486122"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5,19]]},"references-count":39,"alternative-id":["10.1145\/2486092.2486122","10.1145\/2486092"],"URL":"https:\/\/doi.org\/10.1145\/2486092.2486122","relation":{},"subject":[],"published":{"date-parts":[[2013,5,19]]},"assertion":[{"value":"2013-05-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}