{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:36:44Z","timestamp":1725489404659},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540744573"},{"type":"electronic","value":"9783540744597"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74459-7_11","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T07:57:20Z","timestamp":1187251040000},"page":"163-176","source":"Crossref","is-referenced-by-count":5,"title":["Operationalisation of Norms for Electronic Institutions"],"prefix":"10.1007","author":[{"given":"Huib","family":"Aldewereld","sequence":"first","affiliation":[]},{"given":"Frank","family":"Dignum","sequence":"additional","affiliation":[]},{"given":"Andr\u00e9s","family":"Garc\u00eda-Camino","sequence":"additional","affiliation":[]},{"given":"Pablo","family":"Noriega","sequence":"additional","affiliation":[]},{"given":"Juan Antonio","family":"Rodr\u00edguez-Aguilar","sequence":"additional","affiliation":[]},{"given":"Carles","family":"Sierra","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","volume-title":"From Logic Programming to Prolog","author":"K.R. Apt","year":"1997","unstructured":"Apt, K.R.: From Logic Programming to Prolog. Prentice-Hall, UK (1997)"},{"key":"11_CR2","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Declarative Agent Languages and Technologies II","author":"A. Artikis","year":"2005","unstructured":"Artikis, A., Kamara, L., Pitt, J., Sergot, M.: A protocol for resource sharing in norm-governed ad hoc networks. In: Leite, J.A., Omicini, A., Torroni, P., Yolum, P. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, Springer, Heidelberg (2005)"},{"issue":"1-2","key":"11_CR3","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S1570-8683(03)00004-1","volume":"1","author":"C. Castelfranchi","year":"2003","unstructured":"Castelfranchi, C.: Formalizing the informal?: Dynamic social order, bottom-up social control, and spontaneous normative relations. Journal of Applied Logic\u00a01(1-2), 47\u201392 (2003)","journal-title":"Journal of Applied Logic"},{"key":"11_CR4","series-title":"Lecture Notes in Artificial Intelligence","first-page":"93","volume-title":"Regulated Agent-Based Social Systems","author":"F. Dignum","year":"2004","unstructured":"Dignum, F.: Abstract norms and electronic institutions. In: Lindemann, G., Moldt, D., Paolucci, M. (eds.) RASTA 2002. LNCS (LNAI), vol.\u00a02934, pp. 93\u2013104. Springer, Heidelberg (2004)"},{"key":"11_CR5","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Formal Approaches to Agent-Based Systems","author":"F. Dignum","year":"2004","unstructured":"Dignum, F., Broersen, J., Dignum, V., Meyer, J.-J.C.: Meeting the Deadline: Why, When and How. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds.) FAABS 2004. LNCS (LNAI), vol.\u00a03228, Springer, Heidelberg (2004)"},{"key":"11_CR6","unstructured":"Esteva, M.: Electronic Institutions: from specification to development. Number 19 in IIIA Monograph Series. PhD Thesis (2003)"},{"key":"11_CR7","unstructured":"Esteva, M., Rodr\u00edguez-Aguilar, J., Rosell, B., Arcos, J.: AMELI: An Agent-based Middleware for Electronic Institutions. In: Third International Joint Conference on Autonomous Agents and Multi-agent Systems, New York, US, July 2004 (2004)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Esteva, M., Vasconcelos, W., Sierra, C., Rodr\u00edguez-Aguilar, J.: Verifying norm consistency in electronic institutions. In: Proc. of The AAAI-04 Workshop on Agent Organizations: Theory and Practice (ATOP), San Jose, California, July 2004 (2004)","DOI":"10.1007\/978-3-540-28645-5_50"},{"key":"11_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-0357-2","volume-title":"First-Order Logic and Automated Theorem Proving","author":"M. Fitting","year":"1990","unstructured":"Fitting, M.: First-Order Logic and Automated Theorem Proving. Springer, New York, USA (1990)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Garc\u00eda-Camino, A., Rodr\u00edguez-Aguillar, J.: Implementing norms in electronic institutions. In: AAMAS-05. Proceedings of the 4th Int. Joint Conf. on Autonomous Agents & Multi Agent Systems, Utrecht, The Netherlands (July 2005)","DOI":"10.1145\/1082473.1082575"},{"key":"11_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/11691792_6","volume-title":"Declarative Agent Languages and Technologies III","author":"A. Garc\u00eda-Camino","year":"2006","unstructured":"Garc\u00eda-Camino, A., Rodr\u00edguez-Aguillar, J., Sierra, C., Vasconcelos, W.: A distributed architecture for norm-aware agent societies. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol.\u00a03904, Springer, Heidelberg (2006)"},{"key":"11_CR12","unstructured":"Grossi, D., Aldewereld, H., V\u00e1zquez-Salceda, J., Dignum, F.: Ontological aspects of the implementation of norms in agent-based electronic institutions. Computational and Mathematical Organization Theory (to appear)"},{"key":"11_CR13","series-title":"Lecture Notes in Artificial Intelligence","first-page":"2","volume-title":"Computational Logic in Multi-Agent Systems","author":"D. Grossi","year":"2005","unstructured":"Grossi, D., Dignum, F., Meyer, J.-J.C.: Contextual taxonomies. In: Leite, J.A., Torroni, P. (eds.) Computational Logic in Multi-Agent Systems. LNCS (LNAI), vol.\u00a03487, pp. 2\u201317. Springer, Heidelberg (2005)"},{"key":"11_CR14","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Deontic Logic in Computer Science","year":"2004","unstructured":"Lomuscio, A.R., Nute, D. (eds.): DEON 2004. LNCS (LNAI), vol.\u00a03065. Springer, Heidelberg (2004)"},{"key":"11_CR15","series-title":"Lecture Notes in Artificial Intelligence","first-page":"175","volume-title":"Regulated Agent-Based Social Systems","author":"F. L\u00f3pez y L\u00f3pez","year":"2004","unstructured":"L\u00f3pez y L\u00f3pez, F., Luck, M.: Towards a Model of the Dynamics of Normative Multi-Agent Systems. In: Lindemann, G., Moldt, D., Paolucci, M. (eds.) RASTA 2002. LNCS (LNAI), vol.\u00a02934, pp. 175\u2013194. Springer, Heidelberg (2004)"},{"key":"11_CR16","unstructured":"Noriega, P.: Agent-Mediated Auctions: The Fishmarket Metaphor. Number 8 in IIIA Monograph Series. PhD Thesis (1997)"},{"key":"11_CR17","unstructured":"Rodriguez-Aguilar, J.A.: On the Design and Construction of Agent-mediated Electronic Institutions. Number 14 in IIIA Monograph Series. PhD Thesis (2001)"},{"key":"11_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","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)"}],"container-title":["Lecture Notes in Computer Science","Coordination, Organizations, Institutions, and Norms in Agent Systems II"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74459-7_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:22:06Z","timestamp":1605763326000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74459-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540744573","9783540744597"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74459-7_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}