{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:27:58Z","timestamp":1762100878231},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540939191"},{"type":"electronic","value":"9783540939207"}],"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-540-93920-7_1","type":"book-chapter","created":{"date-parts":[[2008,12,24]],"date-time":"2008-12-24T04:33:38Z","timestamp":1230093218000},"page":"1-17","source":"Crossref","is-referenced-by-count":13,"title":["Specifying and Enforcing Norms in Artificial Institutions"],"prefix":"10.1007","author":[{"given":"Nicoletta","family":"Fornara","sequence":"first","affiliation":[]},{"given":"Marco","family":"Colombetti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","first-page":"535","volume-title":"Proceedings of the 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002)","author":"A. Artikis","year":"2002","unstructured":"Artikis, A., Sergot, M., Pitt, J.: Animated Specifications of Computational Societies. In: Castelfranchi, C., Johnson, W.L. (eds.) Proceedings of the 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), pp. 535\u2013542. ACM Press, New York (2002)"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1145\/280765.280775","volume-title":"Proceedings of the 2nd International Conference on Autonomous Agents (Agents 1998)","author":"M. Barbuceanu","year":"1998","unstructured":"Barbuceanu, M., Gray, T., Mankovski, S.: Coordinating with obligations. In: Sycara, K.P., Wooldridge, M. (eds.) Proceedings of the 2nd International Conference on Autonomous Agents (Agents 1998), pp. 62\u201369. ACM Press, New York (1998)"},{"key":"1_CR3","first-page":"948","volume-title":"Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004)","author":"G. Boella","year":"2004","unstructured":"Boella, G., van der Torre, L.: Contracts as legal institutions in organizations of autonomous agents. In: Dignum, V., Corkill, D., Jonker, C., Dignum, F. (eds.) Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004), pp. 948\u2013955. IEEE Computer Society, Los Alamitos (2004)"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-540-74459-7_5","volume-title":"Coordination, Organizations, Institutions, and Norms in Agent Systems II","author":"O. Cliffe","year":"2007","unstructured":"Cliffe, O., Vos, M.D., Padget, J.: Specifying and Reasoning About Multiple Institutions. In: Noriega, P., V\u00e1zquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006. LNCS (LNAI), vol.\u00a04386, pp. 67\u201385. Springer, Heidelberg (2007)"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/3-540-45448-9_26","volume-title":"Intelligent Agents VIII","author":"M. Esteva","year":"2002","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)"},{"key":"1_CR6","first-page":"236","volume-title":"Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004)","author":"M. Esteva","year":"2004","unstructured":"Esteva, M., Rodr\u00edguez-Aguilar, J.A., Rosell, B., Arcos, J.L.: AMELI: An Agent-based Middleware for Electronic Institutions. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004), pp. 236\u2013243. ACM Press, New York (2004)"},{"key":"1_CR7","unstructured":"Fornara, N.: Interaction and Communication among Autonomous Agents in Multiagent Systems. PhD thesis, Faculty of Communication Sciences, University of Lugano, Switzerland (2003), \n                    \n                      http:\/\/doc.rero.ch"},{"issue":"9-10","key":"1_CR8","doi-asserted-by":"publisher","first-page":"853","DOI":"10.1080\/08839510490509054","volume":"18","author":"N. Fornara","year":"2004","unstructured":"Fornara, N., Colombetti, M.: A commitment-based approach to agent communication. Applied Artificial Intelligence an International Journal\u00a018(9-10), 853\u2013866 (2004)","journal-title":"Applied Artificial Intelligence an International Journal"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-32258-0_1","volume-title":"Agent Communication","author":"N. Fornara","year":"2005","unstructured":"Fornara, N., Vigan\u00f2, F., Colombetti, M.: Agent communication and institutional reality. In: van Eijk, R., Huget, M., Dignum, F. (eds.) AC 2004. LNCS, vol.\u00a03396, pp. 1\u201317. Springer, Heidelberg (2005)"},{"issue":"2","key":"1_CR10","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s10458-006-0017-8","volume":"14","author":"N. Fornara","year":"2007","unstructured":"Fornara, N., Vigan\u00f2, F., Colombetti, M.: Agent communication and artificial institutions. Autonomous Agents and Multi-Agent Systems\u00a014(2), 121\u2013142 (2007)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"1","key":"1_CR11","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10506-007-9055-z","volume":"16","author":"N. Fornara","year":"2008","unstructured":"Fornara, N., Vigan\u00f2, F., Verdicchio, M., Colombetti, M.: Artificial institutions: A model of institutional reality for open multiagent systems. Artificial Intelligence and Law\u00a016(1), 89\u2013105 (2008)","journal-title":"Artificial Intelligence and Law"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"667","DOI":"10.1145\/1082473.1082575","volume-title":"Proceedings of the 4th International Joint Conference on Autonomous agents and Multi-Agent Systems (AAMAS 2005)","author":"A. Garcia-Camino","year":"2005","unstructured":"Garcia-Camino, A., Noriega, P., Rodriguez-Aguilar, J.A.: Implementing norms in electronic institutions. In: Proceedings of the 4th International Joint Conference on Autonomous agents and Multi-Agent Systems (AAMAS 2005), pp. 667\u2013673. ACM Press, New York (2005)"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-540-74459-7_7","volume-title":"Coordination, Organizations, Institutions, and Norms in Agent Systems II","author":"D. Grossi","year":"2007","unstructured":"Grossi, D., Aldewereld, H., Dignum, F.: Ubi lex, ibi poena: Designing norm enforcement in e-institutions. In: Noriega, P., V\u00e1zquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006. LNCS, vol.\u00a04386, pp. 101\u2013114. Springer, Heidelberg (2007)"},{"key":"1_CR14","volume-title":"The Concept of Law","author":"H.L.A. Hart","year":"1961","unstructured":"Hart, H.L.A.: The Concept of Law. Clarendon Press, Oxford (1961)"},{"issue":"3","key":"1_CR15","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1093\/jigpal\/4.3.427","volume":"4","author":"A. Jones","year":"1996","unstructured":"Jones, A., Sergot, M.J.: A formal characterisation of institutionalised power. Journal of the IGPL\u00a04(3), 429\u2013445 (1996)","journal-title":"Journal of the IGPL"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-540-32258-0_9","volume-title":"Agent Communication","author":"L. Kagal","year":"2005","unstructured":"Kagal, L., Finin, T.: Modeling Conversation Policies using Permissions and Obligations. In: van Eijk, R., Huget, M., Dignum, F. (eds.) AC 2004. LNCS, vol.\u00a03396, pp. 123\u2013133. Springer, Heidelberg (2005)"},{"issue":"2","key":"1_CR17","first-page":"93","volume":"1","author":"A. Lomuscio","year":"2002","unstructured":"Lomuscio, A., Sergot, M.: A formulation of violation, error recovery, and enforcement in the bit transmission problem. Journal of Applied Logic (Selected articles from DEON 2002 - London)\u00a01(2), 93\u2013116 (2002)","journal-title":"Journal of Applied Logic (Selected articles from DEON 2002 - London)"},{"key":"1_CR18","first-page":"535","volume-title":"Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004)","author":"F. L\u00f3pez y L\u00f3pez","year":"2004","unstructured":"L\u00f3pez y L\u00f3pez, F., Luck, M., d\u2019Inverno, M.: Normative Agent Reasoning in Dynamic Societies. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004), pp. 535\u2013542. ACM Press, New York (2004)"},{"key":"1_CR19","unstructured":"L\u00f3pez y L\u00f3pez, F., Luck, M., d\u2019Inverno, M.: A Normative Framework for Agent-Based Systems. In: Proceedings of the First International Symposium on Normative Multi-Agent Systems, Hatfield (2005)"},{"issue":"6","key":"1_CR20","first-page":"533","volume":"14","author":"Y. Moses","year":"1995","unstructured":"Moses, Y., Tennenholtz, M.: Artificial social systems. Computers and AI\u00a014(6), 533\u2013562 (1995)","journal-title":"Computers and AI"},{"issue":"2","key":"1_CR21","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1023\/A:1021884118023","volume":"6","author":"O. Pacheco","year":"2003","unstructured":"Pacheco, O., Carmo, J.: A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction. Autonomous Agents and Multi-Agent Systems\u00a06(2), 145\u2013184 (2003)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"1_CR22","volume-title":"The construction of social reality","author":"J.R. Searle","year":"1995","unstructured":"Searle, J.R.: The construction of social reality. Free Press, New York (1995)"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-540-30082-3_23","volume-title":"Multiagent System Technologies","author":"J. V\u00e1zquez-Salceda","year":"2004","unstructured":"V\u00e1zquez-Salceda, J., Aldewereld, H., Dignum, F.: Implementing Norms in Multiagent Systems. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds.) MATES 2004. LNCS (LNAI), vol.\u00a03187, pp. 313\u2013327. Springer, Heidelberg (2004)"},{"issue":"3","key":"1_CR24","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/s10458-005-1673-9","volume":"11","author":"J. V\u00e1zquez-Salceda","year":"2005","unstructured":"V\u00e1zquez-Salceda, J., Dignum, V., Dignum, F.: Organizing multiagent systems. Autonomous Agents and Multi-Agent Systems\u00a011(3), 307\u2013360 (2005)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-540-74128-2_9","volume-title":"Model Checking and Artificial Intelligence","author":"F. Vigan\u00f2","year":"2007","unstructured":"Vigan\u00f2, F.: A Framework for Model Checking Institutions. In: Edelkamp, S., Lomuscio, A. (eds.) MoChArt IV. LNCS, vol.\u00a04428, pp. 129\u2013145. Springer, Heidelberg (2007)"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/11775331_10","volume-title":"Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems","author":"F. Vigan\u00f2","year":"2006","unstructured":"Vigan\u00f2, F., Fornara, N., Colombetti, M.: An Event Driven Approach to Norms in Artificial Institutions. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Simao Sichman, J., V\u00e1zquez-Salceda, J. (eds.) ANIREM 2005 and OOOP 2005. LNCS (LNAI), vol.\u00a03913, pp. 142\u2013154. Springer, Heidelberg (2006)"},{"key":"1_CR27","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1023\/B:AMAI.0000034528.55456.d9","volume":"42","author":"P. Yolum","year":"2004","unstructured":"Yolum, P., Singh, M.: Reasoning about commitment in the event calculus: An approach for specifying and executing protocols. Annals of Mathematics and Artificial Intelligence\u00a042, 227\u2013253 (2004)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"3","key":"1_CR28","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1145\/958961.958963","volume":"12","author":"F. Zambonelli","year":"2003","unstructured":"Zambonelli, F., Jennings, N.R., Wooldridge, M.: Developing multiagent systems: The Gaia methodology. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a012(3), 317\u2013370 (2003)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-93920-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T12:33:52Z","timestamp":1551702832000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-93920-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540939191","9783540939207"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-93920-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}