{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T13:20:40Z","timestamp":1771075240907,"version":"3.50.1"},"reference-count":55,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T00:00:00Z","timestamp":1354320000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000732","name":"UK-India Education and Research Initiative","doi-asserted-by":"publisher","award":["SA08-037"],"award-info":[{"award-number":["SA08-037"]}],"id":[{"id":"10.13039\/501100000732","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["257154"],"award-info":[{"award-number":["257154"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Auton. Adapt. Syst."],"published-print":{"date-parts":[[2012,12]]},"abstract":"<jats:p>We address the problem of engineering self-organizing electronic institutions for resource allocation in open, embedded, and resource-constrained systems. In such systems, there is decentralized control, competition for resources and an expectation of both intentional and unintentional errors. The \u201coptimal\u201d distribution of resources is then less important than the endurance of the distribution mechanism. Under these circumstances, we propose to model resource allocation as a common-pool resource management problem, and develop a formal characterization of Elinor Ostrom\u2019s socio-economic principles for self-governing institutions. This article applies a method for sociologically inspired computing to give a complete axiomatization of six of Ostrom\u2019s eight principles in the Event Calculus. A testbed is implemented for experimenting with the axiomatization. The experimental results show that these principles support enduring institutions, in terms of longevity and membership, and also provide insight into calibrating the transaction and running costs associated with implementing the principles against the behavioral profile of the institutional membership. We conclude that it is possible to express Ostrom\u2019s principles in logical form and that they are necessary and sufficient conditions for enduring self-organizing electronic institutions to manage sustainable common-pool resources.<\/jats:p>","DOI":"10.1145\/2382570.2382575","type":"journal-article","created":{"date-parts":[[2012,12,4]],"date-time":"2012-12-04T20:10:57Z","timestamp":1354651857000},"page":"1-39","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":66,"title":["Axiomatization of Socio-Economic Principles for Self-Organizing Institutions"],"prefix":"10.1145","volume":"7","author":[{"given":"Jeremy","family":"Pitt","sequence":"first","affiliation":[{"name":"Imperial College London"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julia","family":"Schaumeier","sequence":"additional","affiliation":[{"name":"Imperial College London"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Artikis","sequence":"additional","affiliation":[{"name":"National Centre for Scientific Research \u2018Demokritos\u2019"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,12]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0305-750X(01)00063-8"},{"key":"e_1_2_1_2_1","unstructured":"Andrews P. Polack F. Sampson A. Stepney S. and Timmis J. 2010. The cosmos process version 0.1: A process for the modelling and simulation of complex systems. Tech. rep. YCS-2010-453 University of York.  Andrews P. Polack F. Sampson A. Stepney S. and Timmis J. 2010. The cosmos process version 0.1: A process for the modelling and simulation of complex systems. Tech. rep. YCS-2010-453 University of York."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1963405.1963433"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exr018"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzp071"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888912000264"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/545056.545076"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11138-007-0021-5"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1556154.1556172"},{"key":"e_1_2_1_10_1","volume-title":"Proceedings of the ICAIL Worshop Legal & Decision Support Systems, M. Poblet, U. Schild, and J. Zeleznikow Eds. 83--93","author":"Boulet R."},{"key":"e_1_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Brams S. and Taylor A. 1996. Fair Division -- From cake-cutting to dispute resolution. Cambridge University Press Cambridge.  Brams S. and Taylor A. 1996. Fair Division -- From cake-cutting to dispute resolution . Cambridge University Press Cambridge.","DOI":"10.1017\/CBO9780511598975"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1609956.1609962"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69507-3_4"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10203-5_1"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5751\/ES-03704-150438"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-010-9122-9"},{"key":"e_1_2_1_17_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01549-6","volume-title":"Markov Logic: An Interface Layer for Artificial Intelligence","author":"Domingos P.","year":"2009"},{"key":"e_1_2_1_18_1","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF02997712","article-title":"Alarm driven supervision for telecommunication networks -- on-line chronicle recognition","volume":"51","author":"Dousson C.","year":"1996","journal-title":"Ann. Telecomm."},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of the Joint Symposium on Socially Inspired Computing. AISB.","author":"Edmonds B."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/545056.545069"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018409.1018747"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843005001110"},{"key":"e_1_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Firozabadi B. S.\n     and \n      \n      \n      Sergot M\n      \n  \n  . \n  2004\n  . Contractual access control. In Proceedins of the 10th International Workshop on Security Protocols B. Christianson B. Crispo J. Malcolm and M. Roe Eds. Lecture Notes in Computer Science Vol\n  . 2845 in \n  LNCS. Springer-Verlag Berlin 96--103.  Firozabadi B. S. and Sergot M. 2004. Contractual access control. In Proceedins of the 10th International Workshop on Security Protocols B. Christianson B. Crispo J. Malcolm and M. Roe Eds. Lecture Notes in Computer Science Vol. 2845 in LNCS. Springer-Verlag Berlin 96--103.","DOI":"10.1007\/978-3-540-39871-4_9"},{"key":"e_1_2_1_24_1","unstructured":"Fox M. Barbuceanu M. Gruninger M. and Lin J. 1998. An organization ontology for enterprise modeling. In Simulating Organizations: Computational Models of Institutions and Groups M. Prietula K. Carley and L. Gasser Eds. AAAI\/MIT Press Menlo Park CA 131--152.   Fox M. Barbuceanu M. Gruninger M. and Lin J. 1998. An organization ontology for enterprise modeling. In Simulating Organizations: Computational Models of Institutions and Groups M. Prietula K. Carley and L. Gasser Eds. AAAI\/MIT Press Menlo Park CA 131--152."},{"key":"e_1_2_1_25_1","unstructured":"Gaechter S. 2006. Conditional cooperation: Behavioral regularities from the lab and the field and their policy implications. Discussion Papers 2006-03 The Centre for Decision Research and Experimental Economics School of Economics University of Nottingham.  Gaechter S. 2006. Conditional cooperation: Behavioral regularities from the lab and the field and their policy implications. Discussion Papers 2006-03 The Centre for Decision Research and Experimental Economics School of Economics University of Nottingham."},{"key":"e_1_2_1_26_1","first-page":"3","article-title":"Opinion dynamics and bounded confidence: Models, analysis and simulation","volume":"5","author":"Hegselmann R.","year":"2002","journal-title":"Artif. Soc. Social Simul."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-007-9020-y"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.18352\/ijc.67"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.940565"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/4.3.427"},{"key":"e_1_2_1_31_1","first-page":"3","article-title":"Online dispute resolution: Some implications for the emergence of law in cyberspace","volume":"10","author":"Katsh E.","year":"2006","journal-title":"Lex Electronica"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.2307\/1593734"},{"key":"e_1_2_1_34_1","volume-title":"Proceedings of the Annual Joint Conference of the IEEE Computer and Communications Societies (INFOCOM). 1343--1351","author":"Lan T."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/WI-IAT.2011.169"},{"key":"e_1_2_1_36_1","volume-title":"Proceedings of the 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems. 1615--1616","author":"Miralles J."},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.envsoft.2011.01.005"},{"key":"e_1_2_1_38_1","doi-asserted-by":"crossref","unstructured":"Ostrom E. 1990. Governing the Commons. Cambridge University Press Cambridge UK.  Ostrom E. 1990. Governing the Commons . Cambridge University Press Cambridge UK.","DOI":"10.1017\/CBO9780511807763"},{"key":"e_1_2_1_39_1","volume-title":"Commons: From Theory to Practice","author":"Ostrom E.","year":"2006"},{"key":"e_1_2_1_40_1","volume-title":"Proceedings of the 10th International Conference on Logic Programming. 203--221","author":"Pinto J."},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxh164"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10588-011-9089-3"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/SASO.2011.25"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25044-6_17"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1515\/9781400835157"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1243\/09576509JPE556"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.5555\/1370616.1370618"},{"key":"e_1_2_1_48_1","unstructured":"RCEP. 2010. 28th report: Adapting institutions to climate change. Royal Commission on Environmental Protection (Chairman: John Lawton) The Stationery Office Limited UK.  RCEP. 2010. 28th report: Adapting institutions to climate change. Royal Commission on Environmental Protection (Chairman: John Lawton) The Stationery Office Limited UK."},{"key":"e_1_2_1_49_1","unstructured":"Robert S. C. Robert H. Evans W. J. Honemann D. H. and J. B. T. 2000. Robert\u2019s Rules of Order Newly Revised 10th Edition. Perseus Publishing Cambridge MA.  Robert S. C. Robert H. Evans W. J. Honemann D. H. and J. B. T. 2000. Robert\u2019s Rules of Order Newly Revised 10th Edition . Perseus Publishing Cambridge MA."},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/344287.344301"},{"key":"e_1_2_1_51_1","first-page":"1","article-title":"Rethinking the tragedy of the commons: The integration of socio-psychological dispositions","volume":"15","author":"Schindler J.","year":"2012","journal-title":"J. Artif. Societ. Social Simul."},{"key":"e_1_2_1_52_1","volume-title":"Artificial Intelligence: Building Situated Embodied Agents","author":"Steels L.","year":"1994"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.enpol.2008.09.030"},{"key":"e_1_2_1_54_1","unstructured":"Tideman N. 2006. Collective Decisions and Voting: The Potential for Public Choice. Ashgate Publishing Ltd. Aldershot UK.  Tideman N. 2006. Collective Decisions and Voting: The Potential for Public Choice . Ashgate Publishing Ltd. Aldershot UK."},{"key":"e_1_2_1_55_1","volume-title":"Proceedings of the 2nd International Conference (BIONETICS). 41--47","author":"Ulieru M.","year":"2007"}],"container-title":["ACM Transactions on Autonomous and Adaptive Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2382570.2382575","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2382570.2382575","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:34:38Z","timestamp":1750239278000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2382570.2382575"}},"subtitle":["Concepts, Experiments and Challenges"],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":55,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["10.1145\/2382570.2382575"],"URL":"https:\/\/doi.org\/10.1145\/2382570.2382575","relation":{},"ISSN":["1556-4665","1556-4703"],"issn-type":[{"value":"1556-4665","type":"print"},{"value":"1556-4703","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,12]]},"assertion":[{"value":"2011-12-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2012-04-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2012-12-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}