{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,17]],"date-time":"2026-01-17T06:38:26Z","timestamp":1768631906116,"version":"3.49.0"},"reference-count":93,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"EU ALFEBIITE","award":["IST-1999-10298"],"award-info":[{"award-number":["IST-1999-10298"]}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["GR S74911 01"],"award-info":[{"award-number":["GR S74911 01"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2009,1]]},"abstract":"<jats:p>\n            Electronic markets, dispute resolution and negotiation protocols are three types of application domains that can be viewed as open agent societies. Key characteristics of such societies are agent heterogeneity, conflicting individual goals and unpredictable behavior. Members of such societies may fail to, or even choose not to, conform to the norms governing their interactions. It has been argued that systems of this type should have a formal, declarative, verifiable, and meaningful semantics. We present a theoretical and computational framework being developed for the executable specification of open agent societies. We adopt an external perspective and view societies as instances of normative systems. In this article, we demonstrate how the framework can be applied to specifying and executing a contract-net protocol. The specification is formalized in two action languages, the\n            <jats:italic>C<\/jats:italic>\n            + language and the Event Calculus, and executed using respective software implementations, the Causal Calculator and the Society Visualizer. We evaluate our executable specification in the light of the presented case study, discussing the strengths and weaknesses of the employed action languages for the specification of open agent societies.\n          <\/jats:p>","DOI":"10.1145\/1459010.1459011","type":"journal-article","created":{"date-parts":[[2009,1,29]],"date-time":"2009-01-29T13:48:36Z","timestamp":1233236916000},"page":"1-42","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":91,"title":["Specifying norm-governed computational societies"],"prefix":"10.1145","volume":"10","author":[{"given":"Alexander","family":"Artikis","sequence":"first","affiliation":[{"name":"NCSR \u201cDemokritos\u201d Athens, Greece and Imperial College London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marek","family":"Sergot","sequence":"additional","affiliation":[{"name":"Imperial College London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeremy","family":"Pitt","sequence":"additional","affiliation":[{"name":"Imperial College London, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,1,23]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2003.08.002"},{"key":"e_1_2_1_2_1","unstructured":"Artikis A. 2003. Executable specification of open norm-governed computational systems. Ph.D. thesis University of London. http:\/\/www.iit.demokritos.gr\/~a.artikis\/publications\/artikis-phd.pdf (also available from the author).  Artikis A. 2003. Executable specification of open norm-governed computational systems. Ph.D. thesis University of London. http:\/\/www.iit.demokritos.gr\/~a.artikis\/publications\/artikis-phd.pdf (also available from the author)."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/545056.545070"},{"key":"e_1_2_1_4_1","volume-title":"Proceedings of Workshop on Agent-Oriented Software Engineering III (AOSE), F. Giunchiglia, J. Odell, and G. Weiss, Eds. Lecture Notes in Computer Science","volume":"2585","author":"Artikis A."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.04.008"},{"key":"e_1_2_1_6_1","unstructured":"Bing J. 1998. Managing copyright in a digital environment. In The Impact of Electronic Publishing on the Academic Community I. Butterworth Ed. Portland Press 52--62.  Bing J. 1998. Managing copyright in a digital environment. In The Impact of Electronic Publishing on the Academic Community I. Butterworth Ed. Portland Press 52--62."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/860575.860709"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/11.2.257"},{"key":"e_1_2_1_9_1","unstructured":"Carley K. and Gasser L. 1999. Computational organization theory. In Multi-Agent Systems: A Modern Approach to Distributed Artificial Intelligence G. Weiss Ed. MIT Press Cambridge MA 299--330.   Carley K. and Gasser L. 1999. Computational organization theory. In Multi-Agent Systems: A Modern Approach to Distributed Artificial Intelligence G. Weiss Ed. MIT Press Cambridge MA 299--330."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1996.tb00267.x"},{"key":"e_1_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Cimatti A. Clarke E. Giunchiglia E. Giunchiglia F. Pistore M. Roveri M. Sebastiani R. and \n      \n      \n      Tacchella A\n      \n  \n  . \n  2002\n  . NuSMV Version 2: An OpenSource Tool for Symbolic Model Checking. In Proceedings of the International Conference on Computer-Aided Verification (CAV'02) Lecture Notes in Computer Science vol. \n  2404 Springer-Verlag Berlin Germany http:\/\/nusmv.irst.itc.it.   Cimatti A. Clarke E. Giunchiglia E. Giunchiglia F. Pistore M. Roveri M. Sebastiani R. and Tacchella A. 2002. NuSMV Version 2: An OpenSource Tool for Symbolic Model Checking. In Proceedings of the International Conference on Computer-Aided Verification (CAV'02) Lecture Notes in Computer Science vol. 2404 Springer-Verlag Berlin Germany http:\/\/nusmv.irst.itc.it.","DOI":"10.1007\/3-540-45657-0_29"},{"key":"e_1_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Clark K. 1978. Negation as failure. In Logic and Databases H. Gallaire and J. Minker Eds. Plenum Press New York 293--322.  Clark K. 1978. Negation as failure. In Logic and Databases H. Gallaire and J. Minker Eds. Plenum Press New York 293--322.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"e_1_2_1_13_1","unstructured":"Clarke E. M. Grumberg O. and Peled D. A. 2000. Model Checking. MIT Press Cambridge MA.  Clarke E. M. Grumberg O. and Peled D. A. 2000. Model Checking. MIT Press Cambridge MA."},{"key":"e_1_2_1_14_1","unstructured":"Coleman D. Arnold P. Bodoff S. Dollin C. Gilchrist H. Hayes F. and Jeremaes P. 1994. Object-Oriented Development: The FUSION Method. Prentice Hall International Englewood Cliffs NJ.   Coleman D. Arnold P. Bodoff S. Dollin C. Gilchrist H. Hayes F. and Jeremaes P. 1994. Object-Oriented Development: The FUSION Method. Prentice Hall International Englewood Cliffs NJ."},{"key":"e_1_2_1_15_1","volume-title":"Proceedings of Workshop on Agent Languages and Communication Policies. 21--29","author":"Colombetti M.","year":"2000"},{"key":"e_1_2_1_16_1","unstructured":"Craven R. 2006. Execution mechanisms for the action language C+. Ph.D. dissertation University of London London UK.  Craven R. 2006. Execution mechanisms for the action language C+. Ph.D. dissertation University of London London UK."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-005-0495-8"},{"key":"e_1_2_1_18_1","first-page":"63","article-title":"Negotiation as a metaphor for distributed problem solving","volume":"20","author":"Davis R.","year":"1983","journal-title":"AI"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/545056.545069"},{"key":"e_1_2_1_20_1","volume-title":"Eds. Lecture Notes in Artificial Intelligence","volume":"2333","author":"Esteva M."},{"key":"e_1_2_1_21_1","volume-title":"Proceedings of the International Conference on Multi-Agent Systems (ICMAS), E. Durfee, Ed. IEEE Computer Society Press","author":"Esteva M."},{"key":"e_1_2_1_22_1","volume-title":"Eds. Lecture Notes in Artificial Intelligence","volume":"1991","author":"Esteva M."},{"key":"e_1_2_1_23_1","first-page":"2","article-title":"Using the event calculus for tracking the normative state of contracts","volume":"4","author":"Farrell A.","year":"2005","journal-title":"Int. J. Coop. Informa. Syst."},{"key":"e_1_2_1_24_1","volume-title":"Proceedings of International Conference on Multi-Agent Systems (ICMAS), Y. Demazeau, Ed. IEEE Computer Society Press","author":"Ferber J."},{"key":"e_1_2_1_25_1","volume-title":"Eds. Lecture Notes in Computer Science","volume":"1757","author":"Ferber J."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00006-0"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1177\/109434200101500302"},{"key":"e_1_2_1_28_1","unstructured":"Fox M. Barbuceanu M. Gr\u00fcninger M. and Lin J. 1998. An organizational ontology for enterprise modeling. In Simulating Organizations: Computational Models for Institutions and Groups M. Prietula K. Carley and L. Gasser Eds. AAAI Press\/The MIT Press Cambridge MA 131--152.   Fox M. Barbuceanu M. Gr\u00fcninger M. and Lin J. 1998. An organizational ontology for enterprise modeling. In Simulating Organizations: Computational Models for Institutions and Groups M. Prietula K. Carley and L. Gasser Eds. AAAI Press\/The MIT Press Cambridge MA 131--152."},{"key":"e_1_2_1_29_1","volume-title":"Proceedings of Conference on Legal Knowledge and Information Systems (JURIX).","author":"Gelati J."},{"key":"e_1_2_1_30_1","volume-title":"Proceedings of Workshop on the Law of Electronic Agents (LEA). 133--149","author":"Gelati J."},{"key":"e_1_2_1_31_1","volume-title":"Computational Logic: Logic Programming and Beyond. Essays in Honour of Robert A","author":"Gelfond M."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2002.12.001"},{"key":"e_1_2_1_33_1","volume-title":"Proceedings of Workshop on Nonmonotonic Reasoning, Action and Change (NRAC).","author":"Giunchiglia E."},{"key":"e_1_2_1_34_1","volume-title":"Proceedings of Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA). 69--79","author":"Governatori G."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/260750.260770"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90051-K"},{"key":"e_1_2_1_37_1","unstructured":"Jones A. 2001. Roles. In Deliverable D2 of ALFEBIITE EU-Project (IST-1999-10298) A. Jones and C. Krogh Eds. 52--55. http:\/\/alfebiite.ee.ic.ac.uk\/docs\/Deliverables\/D2.pdf.  Jones A. 2001. Roles. In Deliverable D2 of ALFEBIITE EU-Project (IST-1999-10298) A. Jones and C. Krogh Eds. 52--55. http:\/\/alfebiite.ee.ic.ac.uk\/docs\/Deliverables\/D2.pdf."},{"key":"e_1_2_1_38_1","volume-title":"Computer Science: Normative System Specification","author":"Jones A.","year":"1993"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/4.3.427"},{"key":"e_1_2_1_40_1","volume-title":"Proceedings of European Conference on Artificial Intelligence (ECAI), B. Neumann, Ed","author":"Kautz H."},{"key":"e_1_2_1_41_1","first-page":"4","article-title":"Implementing an object-oriented deductive database using temporal reasoning","volume":"7","author":"Kesim F.","year":"1996","journal-title":"J. Datab. Manag."},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1024145408578"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"e_1_2_1_44_1","volume-title":"Proceedings of Symposium on Formalizations of Commonsense Knowledge.","author":"Lee J."},{"key":"e_1_2_1_45_1","volume-title":"Proceedings of Conference on Principles of Knowledge Representation and Reasoning (KR), A. Cohn, F. Giunchiglia, and B. Selman, Eds. Morgan Kaufmann","author":"Lifschitz V.","year":"2000"},{"key":"e_1_2_1_46_1","doi-asserted-by":"crossref","unstructured":"Lifschitz V. Mccain N. Remolina E. and Tacchella A. 2000. Getting to the airport: the oldest planning problem in AI. In Logic-Based Artificial Intelligence J. Minker Ed. Kluwer 147--168.   Lifschitz V. Mccain N. Remolina E. and Tacchella A. 2000. Getting to the airport: the oldest planning problem in AI. In Logic-Based Artificial Intelligence J. Minker Ed. Kluwer 147--168.","DOI":"10.1007\/978-1-4615-1567-8_7"},{"key":"e_1_2_1_47_1","volume-title":"Proceedings of 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'99)","volume":"1730","author":"Lifschitz V."},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00243391"},{"key":"e_1_2_1_49_1","doi-asserted-by":"crossref","unstructured":"Manna Z. and Pnueli A. 1992. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag New York.   Manna Z. and Pnueli A. 1992. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag New York.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"e_1_2_1_50_1","doi-asserted-by":"crossref","unstructured":"Manna Z. and Pnueli A. 1995. Temporal Verification of Reactive Systems\u2014Safety. Springer-Verlag New York.   Manna Z. and Pnueli A. 1995. Temporal Verification of Reactive Systems\u2014Safety. Springer-Verlag New York.","DOI":"10.1007\/978-1-4612-4222-2"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.67599"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1991.0031"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/352591.352592"},{"key":"e_1_2_1_54_1","volume-title":"Proceedings of Workshop on Distributed Artificial Intelligence (DAI). 267--284","author":"Moses Y."},{"key":"e_1_2_1_55_1","first-page":"533","article-title":"Artificial social systems","volume":"14","author":"Moses Y.","year":"1995","journal-title":"Computers AI"},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/14.5.703"},{"key":"e_1_2_1_57_1","first-page":"2","article-title":"Soccer server: a tool for research on multi-agent systems","volume":"12","author":"Noda I.","year":"1998","journal-title":"App. AI"},{"key":"e_1_2_1_58_1","volume-title":"Proceedings of Conference on Logic Programming, D. Warren, Ed. MIT Press","author":"Pinto J."},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/375735.376422"},{"key":"e_1_2_1_60_1","doi-asserted-by":"crossref","unstructured":"P\u00f6rn I. 1977. Action theory and social science: some formal models. In Synthese Library Number 120. D. Reidel Publishing Company.  P\u00f6rn I. 1977. Action theory and social science: some formal models. In Synthese Library Number 120. D. Reidel Publishing Company.","DOI":"10.1007\/978-94-010-1268-3"},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exi046"},{"key":"e_1_2_1_62_1","doi-asserted-by":"crossref","unstructured":"Prakken H. and Gordon T. 1999. Rules of order for electronic group decision making\u2014a formalization methodology. In Collaboration between Human and Artificial Societies J. Padget Ed. Lecture Notes in Computer Science vol. 1624 Springer-Verlag New York 246--263.   Prakken H. and Gordon T. 1999. Rules of order for electronic group decision making\u2014a formalization methodology. In Collaboration between Human and Artificial Societies J. Padget Ed. Lecture Notes in Computer Science vol. 1624 Springer-Verlag New York 246--263.","DOI":"10.1007\/10703260_15"},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.5555\/1216095.1216105"},{"key":"e_1_2_1_64_1","unstructured":"Rodriguez-Aguilar J. and Sierra C. 2002. Enabling open agent institutions. In Socially Intelligent Agents: Creating Relationships with Computers and Robots K. Dautenhahn A. Bond L. Canamero and B. Edmonds Eds. Kluwer Academic Publishers 259--266.  Rodriguez-Aguilar J. and Sierra C. 2002. Enabling open agent institutions. In Socially Intelligent Agents: Creating Relationships with Computers and Robots K. Dautenhahn A. Bond L. Canamero and B. Edmonds Eds. Kluwer Academic Publishers 259--266."},{"key":"e_1_2_1_65_1","volume-title":"Rules of Encounter: Designing Conventions for Automated Negotiation among Computers. The MIT Press","author":"Rosenschein J."},{"key":"e_1_2_1_66_1","volume-title":"Proceedings of Workshop on Security Protocols. Leature Notes in Computer Science","volume":"2845","author":"Sadighi B."},{"key":"e_1_2_1_67_1","volume-title":"Hawaii International Conference on System Sciences (HICSS), R. Sprague, Ed. C.S. Press, 373--382","author":"Santos F."},{"key":"e_1_2_1_68_1","doi-asserted-by":"crossref","unstructured":"Searle J. 1969. Speech Acts. Cambridge University Press Cambridge UK.  Searle J. 1969. Speech Acts. Cambridge University Press Cambridge UK.","DOI":"10.1017\/CBO9781139173438"},{"key":"e_1_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/383779.383786"},{"key":"e_1_2_1_70_1","unstructured":"Sergot M. 2004a. (C+)++: An action language for modelling norms and institutions. Tech. rep. 2004\/8 Department of Computing Imperial College London London UK. http:\/\/www.doc.ic.ac.uk\/research\/technicalreports\/2004\/DTR04-8.pdf.  Sergot M. 2004a. (C+) ++ : An action language for modelling norms and institutions. Tech. rep. 2004\/8 Department of Computing Imperial College London London UK. http:\/\/www.doc.ic.ac.uk\/research\/technicalreports\/2004\/DTR04-8.pdf."},{"key":"e_1_2_1_71_1","volume-title":"Proceedings of Workshop on Monitoring, Security, and Rescue Techniques in Multiagent Systems (MSRAS)","author":"Sergot M."},{"key":"e_1_2_1_72_1","volume-title":"Proceedings of the 8th International Workshop on Deontic Logic in Computer Science (DEON'06)","volume":"4048","author":"Sergot M."},{"key":"e_1_2_1_73_1","volume-title":"Eds. Lecture Notes in Artificial Inteligence","volume":"1600","author":"Shanahan M.","year":"1999"},{"key":"e_1_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(99)00077-1"},{"key":"e_1_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/14.5.731"},{"key":"e_1_2_1_76_1","volume-title":"Proceedings of Conference on Artificial Intelligence (AAAI), W. Swartout, Ed. The AAAI Press\/The MIT Press","author":"Shoham Y."},{"key":"e_1_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00007-N"},{"key":"e_1_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.735849"},{"key":"e_1_2_1_79_1","volume-title":"Issues in Agent Communication","author":"Singh M."},{"key":"e_1_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1109\/6.570823"},{"key":"e_1_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1980.1675516"},{"key":"e_1_2_1_82_1","volume-title":"Proceedings of Conference of Canadian Society for Computational Studies of Intelligence. 217--236","author":"Smith R."},{"key":"e_1_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1080\/09528139508953818"},{"key":"e_1_2_1_84_1","doi-asserted-by":"crossref","unstructured":"Werner E. 1989. Cooperating agents: A unified theory of communication and social structure. In Distributed Artificial Intelligence L. Gasser and M. Huhns Eds. Vol. II. Morgan-Kaufmann San Francisco CA 3--36.   Werner E. 1989. Cooperating agents: A unified theory of communication and social structure. In Distributed Artificial Intelligence L. Gasser and M. Huhns Eds. Vol. II. Morgan-Kaufmann San Francisco CA 3--36.","DOI":"10.1016\/B978-1-55860-092-8.50005-8"},{"key":"e_1_2_1_85_1","volume-title":"Decentralized A.I.","author":"Werner E."},{"key":"e_1_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1145\/301136.301165"},{"key":"e_1_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010071910869"},{"key":"e_1_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1145\/544862.544867"},{"key":"e_1_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:AMAI.0000034528.55456.d9"},{"key":"e_1_2_1_90_1","doi-asserted-by":"crossref","unstructured":"Zambonelli F. Jennings N. Omicini A. and Wooldridge M. 2001a. Agent-oriented software engineering for internet applications. In Coordination of Internet Agents: Models Technologies and Applications A. Omicini F. Zambonelli M. Klusch and R. Tolksdorf Eds. Springer-Verlag New York 326--346.   Zambonelli F. Jennings N. Omicini A. and Wooldridge M. 2001a. Agent-oriented software engineering for internet applications. In Coordination of Internet Agents: Models Technologies and Applications A. Omicini F. Zambonelli M. Klusch and R. Tolksdorf Eds. Springer-Verlag New York 326--346.","DOI":"10.1007\/978-3-662-04401-8_13"},{"key":"e_1_2_1_91_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194001000505"},{"key":"e_1_2_1_92_1","volume-title":"Eds. Lecture Notes in Computer Science","volume":"1957","author":"Zambonelli F."},{"key":"e_1_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1145\/958961.958963"}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1459010.1459011","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1459010.1459011","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:57Z","timestamp":1750253397000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1459010.1459011"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1]]},"references-count":93,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,1]]}},"alternative-id":["10.1145\/1459010.1459011"],"URL":"https:\/\/doi.org\/10.1145\/1459010.1459011","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"value":"1529-3785","type":"print"},{"value":"1557-945X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,1]]},"assertion":[{"value":"2006-05-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2006-10-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2009-01-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}