{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:25:46Z","timestamp":1725564346523},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540209232"},{"type":"electronic","value":"9783540258674"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25867-4_15","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T11:25:35Z","timestamp":1283685935000},"page":"240-258","source":"Crossref","is-referenced-by-count":2,"title":["Norms and Their Role in a Model of Electronic Institution"],"prefix":"10.1007","author":[{"given":"Ioan Alfred","family":"Letia","sequence":"first","affiliation":[]},{"given":"Wamberto W.","family":"Vasconcelos","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Artikis, A., Pitt, J., Sergot, M.: Animated specifications of computational societies. In: Castelfranchi, C., Johnson, W.L. (eds.) First International Joint Conference on Autonomous Agents and Multiagent Systems, Bologna, Italy, pp. 1053\u20131061 (2002)","DOI":"10.1145\/545056.545070"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"Carriero, N., Gelernter, D.: Linda in Context. Communications of the ACM\u00a032, 444\u2013458 (1989)","journal-title":"Communications of the ACM"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S1389-0417(01)00020-1","volume":"2","author":"R. Conte","year":"2001","unstructured":"Conte, R.: Emergent (info)institutions. Journal of Cognitive Systems Research\u00a02, 97\u2013110 (2001)","journal-title":"Journal of Cognitive Systems Research"},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1109\/ICMAS.2000.858442","volume-title":"Proceedings of the 4th International Conference on Multi- Agent Systems","author":"F. Dignum","year":"2000","unstructured":"Dignum, F., Morley, D., Sonenberg, E.A., Cavedon, L.: Towards socially sophisticated BDI agents. In: Proceedings of the 4th International Conference on Multi- Agent Systems, Boston, MA, pp. 111\u2013118. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"15_CR5","volume-title":"A Mathematical Introduction to Logic","author":"H.B. Enderton","year":"2001","unstructured":"Enderton, H.B.: A Mathematical Introduction to Logic, 2nd edn. Harcourt\/Academic Press, Mass, USA (2001)","edition":"2"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Esteva, M., de la Cruz, D., Sierra, C.: ISLANDER: an electronic institutions editor. In: Castelfranchi, C., Johnson, W.L. (eds.) First International Joint Conference on Autonomous Agents and Multiagent Systems, Bologna, Italy, pp. 1045\u20131052 (2002)","DOI":"10.1145\/545056.545069"},{"key":"15_CR7","series-title":"Lecture Notes in Artificial Intelligence","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 (LNAI), vol.\u00a02333, pp. 348\u2013366. Springer, Heidelberg (2002)"},{"key":"15_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/3-540-44682-6_8","volume-title":"Agent Mediated Electronic Commerce","author":"M. Esteva","year":"2001","unstructured":"Esteva, M., Rodr\u00edguez-Aguilar, J.A., Sierra, C., Garcia, P., Arcos, J.L.: On the Formal Specification of Electronic Institutions. In: Sierra, C., Dignum, F.P.M. (eds.) AgentLink 2000. LNCS (LNAI), vol.\u00a01991, p. 126. Springer, Heidelberg (2001)"},{"key":"15_CR9","unstructured":"Gelati, J., Rotolo, A., Sartor, G., Governatori, G.: Actions, institutions, powers. In: Lindemann, G., Moldt, D., Paolucci, M. (eds.) RASTA 2002. LNCS (LNAI), vol.\u00a02934, Springer, Heidelberg (2004)"},{"key":"15_CR10","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"121","author":"G.D. Giacomo","year":"2000","unstructured":"Giacomo, G.D., L\u00e9sperance, Y., Levesque, H.J.: ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence\u00a0121, 109\u2013169 (2000)","journal-title":"Artificial Intelligence"},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0004-3702(02)00274-6","volume":"142","author":"B.J. Grosz","year":"2002","unstructured":"Grosz, B.J., Kraus, S., Sullivan, D.G., Das, S.: The influence of social norms and social consciousness on intention reconciliation. Artificial Intelligence\u00a0142, 147\u2013177 (2002)","journal-title":"Artificial Intelligence"},{"key":"15_CR12","volume-title":"Naive Set Theory","author":"P.R. Halmos","year":"1960","unstructured":"Halmos, P.R.: Naive Set Theory. Van Nostrand, Princeton, New Jersey (1960)"},{"key":"15_CR13","unstructured":"Intelligent Systems Laboratory: SICStus Prolog User\u2019s Manual. Swedish Institute of Computer Science (2000), available at http:\/\/www.sics.se\/isl\/"},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/3-540-70657-7_2","volume-title":"Agent-Oriented Software Engineering II","author":"C.M. Jonker","year":"2002","unstructured":"Jonker, C.M., Letia, I.A., Treur, J.: Diagnosis of the dynamics within an organisation by trace checking of behavioural requirements. In: Wooldridge, M.J., Wei\u00df, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol.\u00a02222, pp. 17\u201332. Springer, Heidelberg (2002)"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Lopez y Lopez, F., Luck, M., d\u2019Inverno, M.: Constraining autonomy through norms. In: Castelfranchi, C., Johnson, W.L. (eds.) First International Joint Conference on Autonomous Agents and Multiagent Systems, Bologna, Italy, pp. 674\u2013681 (2002)","DOI":"10.1145\/544862.544905"},{"key":"15_CR16","volume-title":"Mathematical Theory of Computation","author":"Z. Manna","year":"1974","unstructured":"Manna, Z.: Mathematical Theory of Computation. McGraw-Hill Kogakusha, Ltd., Tokio, Japan (1974)"},{"key":"15_CR17","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1023\/A:1021884118023","volume":"6","author":"O. Pacheco","year":"2003","unstructured":"Pacheco, O., Carmo, J.: Role based model for the normative specification of organized collective agency and agents in interaction. Autonomous Agents and Multi- Agent Systems\u00a06, 145\u2013184 (2003)","journal-title":"Autonomous Agents and Multi- Agent Systems"},{"key":"15_CR18","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"R. Reiter","year":"2001","unstructured":"Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)"},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1145\/383779.383780","volume":"2","author":"R. Reiter","year":"2001","unstructured":"Reiter, R.: On knowledge-based programming in the situation calculus. ACM Transactions on Computational Logic\u00a02, 433\u2013457 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"key":"15_CR20","series-title":"LNAI","doi-asserted-by":"publisher","DOI":"10.1007\/10703260_17","volume-title":"Collaboration between Human and Artificial Societies","author":"J.A. Rodr\u00edguez-Aguilar","year":"1999","unstructured":"Rodr\u00edguez-Aguilar, J.A., Mart\u00edn, F.J., Noriega, P., Garcia, P., Sierra, C.: Towards a Formal Specification of Complex Social Structures in Multi- Agent Systems. In: Padget, J. (ed.) Collaboration between Human and Artificial Societies 1997. LNCS (LNAI), vol.\u00a01624, Springer, Heidelberg (1999)"},{"key":"15_CR21","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1145\/383779.383786","volume":"2","author":"M. Sergot","year":"2001","unstructured":"Sergot, M.: A computational theory of normative positions. ACM Transactions on Computational Logic\u00a02, 581\u2013622 (2001)","journal-title":"ACM Transactions on Computational Logic"},{"key":"15_CR22","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1023\/A:1008319631231","volume":"7","author":"M.P. Singh","year":"1999","unstructured":"Singh, M.P.: An ontology for commitments in multiagent systems: Towards a unification of normative concepts. Artificial Intelligence and Law\u00a07, 97\u2013113 (1999)","journal-title":"Artificial Intelligence and Law"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Vasconcelos, W.W., Sabater, J., Sierra, C., Querol, J.: Skeleton-based agent development for electronic institutions. In: Castelfranchi, C., Johnson, W.L. (eds.) First International Joint Conference on Autonomous Agents and Multiagent Systems, Bologna, Italy, pp. 696\u2013703 (2002)","DOI":"10.1145\/544862.544911"},{"key":"15_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/3-540-70657-7_19","volume-title":"Agent-Oriented Software Engineering II","author":"W.W. Vasconcelos","year":"2002","unstructured":"Vasconcelos, W.W., Robertson, D., Agusti, J., Sierra, C., Wooldridge, M., Parsons, S., Walton, C., Sabater, J.: A lifecycle for models of large multi-agent systems. In: Wooldridge, M.J., Wei\u00df, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol.\u00a02222, pp. 297\u2013317. Springer, Heidelberg (2002)"},{"key":"15_CR25","doi-asserted-by":"crossref","unstructured":"Vasconcelos, W.W.: Expressive global protocols via logic-based electronic institutions. In: Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems, Melbourne, Australia (2003) (to appear)","DOI":"10.1145\/860575.860840"}],"container-title":["Lecture Notes in Computer Science","Regulated Agent-Based Social Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25867-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T17:28:38Z","timestamp":1559582918000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25867-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540209232","9783540258674"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25867-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}