{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:57:50Z","timestamp":1725533870798},"publisher-location":"Berlin, Heidelberg","reference-count":60,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642025617"},{"type":"electronic","value":"9783642025624"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02562-4_2","type":"book-chapter","created":{"date-parts":[[2009,6,17]],"date-time":"2009-06-17T03:38:50Z","timestamp":1245209930000},"page":"29-45","source":"Crossref","is-referenced-by-count":8,"title":["Specifying Open Agent Systems: A Survey"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Artikis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeremy","family":"Pitt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"OWL Web Ontology Language: Overview. W3C Recommendation (2004), http:\/\/www.w3.org\/TR\/owl-features\/"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Artikis, A., Sergot, M., Pitt, J.: Specifying norm-governed computational societies. ACM Transactions on Computational Logic\u00a010(1) (2009) (retrieved July 6, 2008), http:\/\/www.acm.org\/pubs\/tocl\/accepted\/304artikis.pdf","DOI":"10.1145\/1459010.1459011"},{"key":"2_CR3","unstructured":"Bandara, A.: A Formal Approach to Analysis and Refinement of Policies. Ph.D thesis. Imperial College London (2005)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Boella, G., van der Torre, L.: Security policies for sharing knowledge in virtual communities. IEEE Transactions on Systems, Man and Cybernetics\u00a036(3), 439\u2013450 (2006)","DOI":"10.1109\/TSMCA.2006.871793"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Boella, G., van der Torre, L.W.N.: The ontological properties of social roles in multi-agent systems: Definitional dependence, powers and roles playing roles. Artificial Intelligence and Law\u00a015(3), 201\u2013221 (2007)","DOI":"10.1007\/s10506-007-9030-8"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Bradshaw, J., Uszok, A., Jeffers, R., Suri, N., Hayes, P., Burstein, M., Acquisti, A., Benyo, B., Breedy, M., Carvalho, M., Diller, D., Johnson, M., Kulkarni, S., Lott, J., Sierhuis, M., Van Hoof, R.: Representation and reasoning about DAML-based policy and domain services in KAoS. In: Rosenschein, J., Sandholm, T., Wooldridge, M., Yoko, M. (eds.) Proceedings of Conference on Autonomous Agents and Multi Agent Systems (AAMAS), pp. 835\u2013842. ACM Press, New York (2003)","DOI":"10.1145\/860575.860709"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Chopra, A., Singh, M.: Contextualizing commitment protocols. In: Proceedings of Conference on Autonous Agents and Multi-Agent Systems (AAMAS), pp. 1345\u20131352. ACM, New York (2006)","DOI":"10.1145\/1160633.1160884"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Dastani, M., Dignum, V., Dignum, F.: Role-assignment in open agent societies. In: Proceedings of Conference on Autonomous Agents and Multi-Agent Systems, pp. 489\u2013496. ACM, New York (2003)","DOI":"10.1145\/860575.860654"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Desai, N., Mallya, A., Chopra, A., Singh, M.: Interaction protocols as design abstractions for business processes. IEEE Transactions on Software Engineering (TSE)\u00a031(12), 1015\u20131027 (2005)","DOI":"10.1109\/TSE.2005.140"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Desai, N., Mallya, A., Chopra, K., Singh, M.: OWL-P: A methodology for business process modeling and enactment. In: Kolp, M., Bresciani, P., Henderson-Sellers, B., Winikoff, M. (eds.) AOIS 2005. LNCS, vol.\u00a03529, pp. 79\u201394. Springer, Heidelberg (2006)","DOI":"10.1007\/11916291_6"},{"key":"2_CR11","unstructured":"Desai, N., Singh, M.: A modular action description language for protocol composition. In: Proceedings of Conference on Artificial Intelligence, AAAI (2007)"},{"key":"2_CR12","unstructured":"Desai, N., Singh, M.: Checking correctness of business contracts via commitments. In: Proccedings of International Conference on Autonomous Agents and Multi-Agent Systems (2008)"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Esteva, M., de la Cruz, D., Sierra, C.: Islander: an electronic institutions editor. In: Castelfranchi, C., Johnson, L. (eds.) Proceedings of the First International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 1045\u20131052. ACM Press, New York (2002)","DOI":"10.1145\/545056.545069"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Esteva, M., Padget, J., Sierra, C.: Formalizing a language for institutions and norms. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS, vol.\u00a02333, pp. 348\u2013366. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45448-9_26"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Esteva, M., Rodr\u00edguez-Aguilar, J., Sierra, C., Vasconcelos, W.: Verifying norm consistency in electronic institutions. In: Proceedings of the AAAI 2004 Workshop on Agent Organizations: Theory and Practice, pp. 8\u201314 (2004)","DOI":"10.1007\/978-3-540-28645-5_50"},{"key":"2_CR16","unstructured":"Fitoussi, D., Tennenholtz, M.: Minimal social laws. In: Proceedings of Conference on Artificial Intelligence (AAAI) and Innovative Applications of Artificial Intelligence (IAAI), pp. 26\u201331. AAAI Press\/The MIT Press, Menlo Park (1998)"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Fitoussi, D., Tennenholtz, M.: Choosing social laws for multi-agent systems: minimality and simplicity. Artificial Intelligence\u00a0119(1-2), 61\u2013101 (2000)","DOI":"10.1016\/S0004-3702(00)00006-0"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Fornara, N., Colombetti, M.: Formal specification of artificial institutions using the event calculus. In: Multi-Agent Systems: Semantics and Dynamics of Organizational Models. IGI Global (2008) (to appear)","DOI":"10.4018\/978-1-60566-256-5.ch014"},{"key":"2_CR19","unstructured":"Fox, M., Barbuceanu, M., Gr\u00fcninger, M., Lin, J.: An organizational ontology for enterprise modeling. In: Prietula, M., Carley, K., Gasser, L. (eds.) Simulating Organizations: Computational Models for Institutions and Groups, pp. 131\u2013152. AAAI Press\/The MIT Press (1998)"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Garc\u00eda-Camino, A., Noriega, P., Rodr\u00edguez-Aguilar, J.: Implementing norms in electronic institutions. In: Proceedings of the Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 667\u2013673. ACM Press, New York (2005)","DOI":"10.1145\/1082473.1082575"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence\u00a0153(1\u20132), 49\u2013104 (2004)","DOI":"10.1016\/j.artint.2002.12.001"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Grossi, D., Dignum, F., Meyer, J.-J.C.: A formal road from institutional norms to organizational structures. In: Durfee, E., Yokoo, M., Huhns, M., Shehory, O. (eds.) Proceedings of Conference on Autonomous Agents and Multi-Agent Systems, pp. 616\u2013623 (2007)","DOI":"10.1145\/1329125.1329234"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Gr\u00fcninger, M., Fox, M.: The role of competency questions in enterprise engineering. In: Proceedings of the IFIP WG5.7 Workshop on Benchmarking-Theory and Practice (1994)","DOI":"10.1007\/978-0-387-34847-6_3"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Hewitt, C.: Open information systems semantics for distributed artificial intelligence. Artificial Intelligence\u00a047, 79\u2013106 (1991)","DOI":"10.1016\/0004-3702(91)90051-K"},{"key":"2_CR25","unstructured":"Horrrocks, I., Patel-Schneider, P., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A semantic web rule language combining OWL and ruleML. W3C Submission (2004), http:\/\/www.w3.org\/Submission\/2004\/SUBM-SWRL-20040521\/"},{"key":"2_CR26","unstructured":"Jones, A., Sergot, M.: On the characterisation of law and computer systems: the normative systems perspective. In: Deontic Logic in Computer Science: Normative System Specification, pp. 275\u2013307. J. Wiley and Sons, Chichester (1993)"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Jones, A., Sergot, M.: A formal characterisation of institutionalised power. Journal of the IGPL\u00a04(3), 429\u2013445 (1996)","DOI":"10.1093\/jigpal\/4.3.427"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Kagal, L., Finin, T.: Modeling communicative behavior using permissions and obligations. Journal of Autonomous Agents and Multi-Agent Systems\u00a014(2), 187\u2013206 (2006)","DOI":"10.1007\/s10458-006-0013-z"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Lomuscio, A., Sergot, M.: Deontic interpreted systems. Studia Logica\u00a075(1), 63\u201392 (2003)","DOI":"10.1023\/A:1026176900459"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Makinson, D.: On the formal representation of rights relations. Journal of Philosophical Logic\u00a015, 403\u2013425 (1986)","DOI":"10.1007\/BF00243391"},{"key":"2_CR31","unstructured":"McGinnis, J., Miller, T.: Amongst first-class protocols. In: Artikis, A., O\u2019Hare, G.M.P., Stathis, K., Vouros, G. (eds.) ESAW 2007. LNCS, vol.\u00a04995. Springer, Heidelberg (2008)"},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"Minsky, N., Ungureanu, V.: Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a09(3), 273\u2013305 (2000)","DOI":"10.1145\/352591.352592"},{"key":"2_CR33","unstructured":"Moses, Y., Tennenholtz, M.: On computational aspects of artificial social systems. In: Proceedings of Workshop on Distributed Artificial Intelligence (DAI), pp. 267\u2013284 (1992)"},{"key":"2_CR34","unstructured":"Moses, Y., Tennenholtz, M.: Artificial social systems. Computers and Artificial Intelligence\u00a014(6), 533\u2013562 (1995)"},{"key":"2_CR35","doi-asserted-by":"crossref","unstructured":"Mueller, E.: Commonsense Reasoning. Morgan Kaufmann, San Francisco (2006)","DOI":"10.1016\/B978-012369388-4\/50072-2"},{"key":"2_CR36","unstructured":"Pinto, J., Reiter, R.: Temporal reasoning in logic programming: a case for the situation calculus. In: Warren, D. (ed.) Proceedings of Conference on Logic Programming, pp. 203\u2013221. MIT Press, Cambridge (1993)"},{"key":"2_CR37","unstructured":"Rodriguez-Aguilar, J., Martin, F., Noriega, P., Garcia, P., Sierra, C.: Towards a test-bed for trading agents in electronic auction markets. AI Communications\u00a011(1), 5\u201319 (1998)"},{"key":"2_CR38","unstructured":"Rosenschein, J., Zlotkin, G.: Rules of Encounter: Designing Conventions for Automated Negotiation among Computers. MIT Press, Cambridge (1994)"},{"key":"2_CR39","unstructured":"Searle, J.: What is a speech act? In A.\u00a0Martinich, editor. In: Martinich, A. (ed.) Philosophy of Language, 3rd edn., pp. 130\u2013140. Oxford University Press, Oxford (1996)"},{"key":"2_CR40","doi-asserted-by":"crossref","unstructured":"Serban, C., Chen, Y., Zhang, W., Minsky, M.N.: The concept of decentralised and secure electronic marketplace. Journal of Electronic Commerce Research (2008)","DOI":"10.1007\/s10660-008-9014-0"},{"key":"2_CR41","doi-asserted-by":"crossref","unstructured":"Sergot, M.: The representation of law in computer programs: a survey and comparison. In: Bench-Capon, T. (ed.) Knowledge Based Systems and Legal Applications. Academic Press, London (1990)","DOI":"10.1016\/B978-0-12-086441-6.50006-4"},{"key":"2_CR42","doi-asserted-by":"crossref","unstructured":"Sergot, M.: A computational theory of normative positions. ACM Transactions on Computational Logic\u00a02(4), 522\u2013581 (2001)","DOI":"10.1145\/383779.383786"},{"key":"2_CR43","doi-asserted-by":"crossref","unstructured":"Sergot, M., Craven, R.: The deontic component of action language nC\u2009+. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol.\u00a04048, pp. 222\u2013237. Springer, Heidelberg (2006)","DOI":"10.1007\/11786849_19"},{"key":"2_CR44","doi-asserted-by":"crossref","unstructured":"Shanahan, M.: The event calculus explained. In: Veloso, M.M., Wooldridge, M.J. (eds.) Artificial Intelligence Today. LNCS (LNAI), vol.\u00a01600, pp. 409\u2013430. Springer, Heidelberg (1999)","DOI":"10.1007\/3-540-48317-9_17"},{"key":"2_CR45","doi-asserted-by":"crossref","unstructured":"Shanahan, M.: An abductive event calculus planner. Journal of Logic Programming\u00a044, 207\u2013239 (2000)","DOI":"10.1016\/S0743-1066(99)00077-1"},{"key":"2_CR46","unstructured":"Shoham, Y., Tennenholtz, M.: Emergent conventions in multi-agent systems. In: Proceedings of Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 225\u2013231 (1992)"},{"key":"2_CR47","unstructured":"Shoham, Y., Tennenholtz, M.: On the synthesis of useful social laws for artificial agent societies. In: Swartout, W. (ed.) Proceedings of Conference on Artificial Intelligence (AAAI), pp. 276\u2013281. The AAAI Press\/ The MIT Press (1992)"},{"key":"2_CR48","doi-asserted-by":"crossref","unstructured":"Shoham, Y., Tennenholtz, M.: On social laws for artificial agent societies: off-line design. Artificial Intelligence\u00a073(1-2), 231\u2013252 (1995)","DOI":"10.1016\/0004-3702(94)00007-N"},{"key":"2_CR49","doi-asserted-by":"crossref","unstructured":"Shoham, Y., Tennenholtz, M.: On the emergence of social conventions: modeling, analysis and simulations. Artificial Intelligence\u00a094(1-2), 139\u2013166 (1997)","DOI":"10.1016\/S0004-3702(97)00028-3"},{"key":"2_CR50","doi-asserted-by":"crossref","unstructured":"Singh, M.: Agent communication languages: rethinking the principles. IEEE Computer\u00a031(12), 40\u201347 (1998)","DOI":"10.1109\/2.735849"},{"key":"2_CR51","doi-asserted-by":"crossref","unstructured":"Singh, M.: An ontology for commitments in multiagent systems: towards a unification of normative concepts. Artificial Intelligence and Law\u00a07(1), 97\u2013113 (1999)","DOI":"10.1023\/A:1008319631231"},{"key":"2_CR52","doi-asserted-by":"crossref","unstructured":"Singh, M.: A social semantics for agent communication languages. In: Dignum, F., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol.\u00a01916, pp. 31\u201345. Springer, Heidelberg (2000)","DOI":"10.1007\/10722777_3"},{"key":"2_CR53","doi-asserted-by":"crossref","unstructured":"Tennenholtz, M.: On computational social laws for dynamic non-homogeneous social structures. Journal of Experimental and Theoretical Artificial Intelligence\u00a07, 379\u2013390 (1995)","DOI":"10.1080\/09528139508953818"},{"key":"2_CR54","doi-asserted-by":"crossref","unstructured":"Uszok, A., Bradshaw, J., Lott, J., Breedy, M., Bunch, L., Feltovich, P., Johnson, M., Jung, H.: New developments in ontology-based policy management: Increasing the practicality and comprehensiveness of KAoS. In: Proceedings of Workshop on Policies for Distributed Systems and Networks, pp. 145\u2013152. IEEE Computer Society, Los Alamitos (2008)","DOI":"10.1109\/POLICY.2008.47"},{"key":"2_CR55","doi-asserted-by":"crossref","unstructured":"van Eijk, R., de Boer, F., van der Hoek, W., Meyer, J.-J.: Open multi-agent systems: agent communication and integration. In: Jennings, N., Lesperance, Y. (eds.) ATAL 1999. LNCS, vol.\u00a01757, pp. 218\u2013232. Springer, Heidelberg (2000)","DOI":"10.1007\/10719619_16"},{"key":"2_CR56","doi-asserted-by":"crossref","unstructured":"Venkatraman, M., Singh, M.: Verifying compliance with commitment protocols. Journal of Autonomous Agents and Multi-Agent Systems\u00a02(3), 217\u2013236 (1999)","DOI":"10.1023\/A:1010056221226"},{"key":"2_CR57","doi-asserted-by":"crossref","unstructured":"Yolum, P., Singh, M.: Commitment machines. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, pp. 235\u2013247. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45448-9_17"},{"key":"2_CR58","doi-asserted-by":"crossref","unstructured":"Yolum, P., Singh, M.: Flexible protocol specification and execution: applying event calculus planning using commitments. In: Castelfranchi, C., Johnson, L. (eds.) Proceedings of Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 527\u2013535. ACM Press, New York (2002)","DOI":"10.1145\/544862.544867"},{"key":"2_CR59","doi-asserted-by":"crossref","unstructured":"Yolum, P., Singh, M.: Reasoning about commitments in the event calculus: An approach for specifying and executing protocols. Annals of Mathematics and Artificial Intelligence\u00a042(1-3), 227\u2013253 (2004)","DOI":"10.1023\/B:AMAI.0000034528.55456.d9"},{"key":"2_CR60","doi-asserted-by":"crossref","unstructured":"Zambonelli, F., Jennings, N., Wooldridge, M.: Organisational rules as an abstraction for the analysis and design of multi-agent systems. International Journal of Software Engineering and Knowledge Engineering\u00a011(3), 303\u2013328 (2001)","DOI":"10.1142\/S0218194001000505"}],"container-title":["Lecture Notes in Computer Science","Engineering Societies in the Agents World IX"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02562-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,25]],"date-time":"2023-05-25T14:04:44Z","timestamp":1685023484000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02562-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642025617","9783642025624"],"references-count":60,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02562-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}