{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T18:16:40Z","timestamp":1760897800626},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,10,3]],"date-time":"2007-10-03T00:00:00Z","timestamp":1191369600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artif Intell Law"],"published-print":{"date-parts":[[2008,3]]},"DOI":"10.1007\/s10506-007-9059-8","type":"journal-article","created":{"date-parts":[[2007,10,2]],"date-time":"2007-10-02T07:52:01Z","timestamp":1191311521000},"page":"53-71","source":"Crossref","is-referenced-by-count":24,"title":["Institutions with a hierarchy of authorities in distributed dynamic environments"],"prefix":"10.1007","volume":"16","author":[{"given":"Guido","family":"Boella","sequence":"first","affiliation":[]},{"given":"Leendert","family":"van der Torre","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,10,3]]},"reference":[{"issue":"2","key":"9059_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C Alchourron","year":"1985","unstructured":"Alchourron C, G\u00e4rdenfors P, Makinson D (1985) On the logic of theory change. J Symbol Logic 50(2):510\u2013530","journal-title":"J Symbol Logic"},{"key":"9059_CR2","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/978-94-009-8484-4_5","volume-title":"New studies in deontic logic","author":"CE Alchourron","year":"1981","unstructured":"Alchourron CE, Makinson D (1981) Hierarchies of regulations and their logic. In: Hilpinen R (ed) New studies in deontic logic. D. Reidel, Dordrecht, pp 125\u2013148"},{"key":"9059_CR3","volume-title":"Teoria della norma giuridica","author":"N Bobbio","year":"1958","unstructured":"Bobbio N (1958) Teoria della norma giuridica. Torino, Giappichelli"},{"key":"9059_CR4","unstructured":"Bobbio N (1980) Norma. In: Enciclopedia Einaudi, Vol. 9. Torino, Einaudi, pp 876\u2013907"},{"issue":"3-4","key":"9059_CR5","first-page":"492","volume":"2","author":"G Boella","year":"2002","unstructured":"Boella G, Lesmo L (2002) A game theoretic approach to norms. Cogn Sci Quart 2(3\u20134):492\u2013512","journal-title":"Cogn Sci Quart"},{"issue":"1","key":"9059_CR6","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1109\/TSMCC.2005.860576","volume":"36","author":"G Boella","year":"2006","unstructured":"Boella G, van der Torre L (2006a) A Game Theoretic Approach to Contracts in Multiagent Systems. IEEE Trans Syst Man Cybernet Part C Appl Rev 36(1):68\u201379","journal-title":"IEEE Trans Syst Man Cybernet Part C Appl Rev"},{"issue":"3","key":"9059_CR7","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1109\/TSMCA.2006.871793","volume":"36","author":"G Boella","year":"2006","unstructured":"Boella G, van der Torre L (2006b) Security policies for sharing knowledge in virtual communities. IEEE Trans Syst Man Cybernet Part A Syst Humans 36(3):439\u2013450","journal-title":"IEEE Trans Syst Man Cybernet Part A Syst Humans"},{"issue":"1","key":"9059_CR41","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1142\/S0218843007001585","volume":"16","author":"G Boella","year":"2007","unstructured":"Boella G, van der Torre L (2007) Norm negotiation in multiagent systems. Int J Coop Inf Syst 16(1):97\u2013122","journal-title":"Int J Coop Inf Syst"},{"key":"9059_CR42","doi-asserted-by":"crossref","unstructured":"Boella G, van der Torre L (to appear) Substantive and procedural norms in normative multiagent systems. J Appl Logic","DOI":"10.1016\/j.jal.2007.06.006"},{"issue":"2\u20133","key":"9059_CR8","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/s10588-006-9537-7","volume":"12","author":"G Boella","year":"2006","unstructured":"Boella G, van der Torre L, Verhagen H (2006) Introduction to normative multiagent systems. Comput Math Org Theory 12(2\u20133):71\u201379","journal-title":"Comput Math Org Theory"},{"key":"9059_CR9","doi-asserted-by":"crossref","unstructured":"Brass S. (1993) Deduction with supernormal defaults. In: Brewka G, Jantke KP, Schmitt PH (eds) Nonmonotonic and inductive logics, Vol. 659 of LNAI. Berlin, Springer, pp 153\u2013174","DOI":"10.1007\/BFb0030392"},{"key":"9059_CR10","doi-asserted-by":"crossref","unstructured":"Brewka G, Eiter T (2000) Prioritizing default logic. In: Intellectics and computational logic. Kluwer, pp 27\u201345","DOI":"10.1007\/978-94-015-9383-0_3"},{"issue":"3-4","key":"9059_CR11","first-page":"428","volume":"2","author":"J Broersen","year":"2002","unstructured":"Broersen J, Dastani M, Hulstijn J, van der Torre L (2002) Goal generation in the BOID architecture. Cogn Sci Quart 2(3-4):428\u2013447","journal-title":"Cogn Sci Quart"},{"key":"9059_CR12","first-page":"211","volume-title":"Automated analysis of legal texts","author":"E Bulygin","year":"1986","unstructured":"Bulygin E (1986) Permissive norms and normative systems. In: Martino A, Natali FS (eds) Automated analysis of legal texts. Amsterdam, Publishing Company, pp 211\u2013218"},{"key":"9059_CR13","first-page":"612","volume-title":"Studien zu einer Theorie der Gesetzgebung.","author":"E Bulygin","year":"1996","unstructured":"Bulygin E (1996) Logische Fragen der Gesetzgebungstechnik. In: Rodig J (ed) Studien zu einer Theorie der Gesetzgebung. Berlin, Springer, pp 612\u2013627"},{"key":"9059_CR14","unstructured":"Conte R, Castelfranchi C, Dignum F (1998) Autonomous norm-acceptance. In: Intelligent agents V (ATAL \u201998), Vol. 1555 of LNCS. Berlin, Springer, pp 99\u2013112"},{"key":"9059_CR15","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1023\/A:1008315530323","volume":"7","author":"F. Dignum","year":"1999","unstructured":"Dignum F. (1999) Autonomous agents with norms. Artif Intel Law 7:69\u201379","journal-title":"Artif Intel Law"},{"key":"9059_CR16","unstructured":"Dignum V, V\u00e1zquez-Salceda J, Dignum F (2004) A model of almost everything: norms, structure and ontologies in agent organizations. In: Procs of 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS \u201904), New York (NJ), ACM, pp 1498\u20131499"},{"key":"9059_CR17","unstructured":"Esteva M, Padget J, Sierra C (2001) Formalizing a language for institutions and norms. In: Intelligent agents VIII (ATAL\u201901), Vol. 2333 of LNCS. Berlin, Springer, pp 348\u2013366"},{"key":"9059_CR18","doi-asserted-by":"crossref","unstructured":"Esteva M, Rodriguez-Aguilar J, Sierra C, Vasconcelos W (2004) Verifying norm consistency in electronic institutions. In: Procs of Workshop on Agent Organizations at AAAI\u201904. San Jose (CA)","DOI":"10.1007\/978-3-540-28645-5_50"},{"key":"9059_CR19","volume-title":"Teoria e dogmatica delle fonti","author":"R Guastini","year":"1998","unstructured":"Guastini R (1998) Teoria e dogmatica delle fonti. Milano, Giuffr\u00e8"},{"key":"9059_CR20","doi-asserted-by":"crossref","first-page":"373","DOI":"10.2307\/2214372","volume":"3","author":"B Hansson","year":"1969","unstructured":"Hansson B (1969) An analysis of some deontic logics. Nous 3:373\u2013398","journal-title":"Nous"},{"key":"9059_CR21","unstructured":"Jones A, Carmo J (2001) Deontic logic and contrary-to-duties. In: Gabbay D, Guenthner F (eds) Handbook of philosophical logic, Vol. 3, Kluwer, Dordrecht (NL), pp 203\u2013279"},{"key":"9059_CR22","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/978-94-009-9860-5_11","volume-title":"Essays in honour of Jaakko Hintikka","author":"D Lewis","year":"1979","unstructured":"Lewis D (1979) A problem about permission. In: Saarinen E (ed) Essays in honour of Jaakko Hintikka. Dordrecht, D. Reidel, pp 163\u2013175"},{"key":"9059_CR23","unstructured":"Lopez y Lopez F, Luck M, d\u2019Inverno M (2002) Contraining autonomy through norms. In: Procs of 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS\u201902), New York (NJ), ACM, pp 674\u2013681"},{"issue":"4","key":"9059_CR24","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1023\/A:1004748624537","volume":"29","author":"D Makinson","year":"2000","unstructured":"Makinson D, van der Torre L (2000) Input\u2013output logics. J Philos Logic 29(4):383\u2013408","journal-title":"J Philos Logic"},{"issue":"2","key":"9059_CR25","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1023\/A:1017599526096","volume":"30","author":"D Makinson","year":"2001","unstructured":"Makinson D, van der Torre L (2001) Constraints for input\u2013output logics. J Philos Logic 30(2):155\u2013185","journal-title":"J Philos Logic"},{"issue":"4","key":"9059_CR26","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1023\/A:1024806529939","volume":"32","author":"D Makinson","year":"2003","unstructured":"Makinson D, van der Torre L (2003) Permissions from an input\u2013output perspective. J Philos Logic 32(4):391\u2013416","journal-title":"J Philos Logic"},{"key":"9059_CR27","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1111\/j.1467-9337.1991.tb00107.x","volume":"4","author":"T Mazzarese","year":"1991","unstructured":"Mazzarese T (1991) Deontic logic as logic of legal norms: Two main sources of problems. Ratio Juris 4:374\u2013392","journal-title":"Ratio Juris"},{"key":"9059_CR28","unstructured":"Mazzarese T. (2000) Permesso forte e permesso debole: note a margine. Analisi e diritto."},{"key":"9059_CR29","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1207\/s15516709cog1104_4","volume":"11","author":"JL Pollock","year":"1987","unstructured":"Pollock JL (1987) Defeasible reasoning. Cogn Sci 11:481\u2013518","journal-title":"Cogn Sci"},{"key":"9059_CR30","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-8975-8","volume-title":"Logical tools for modelling legal argument","author":"H Prakken","year":"1997","unstructured":"Prakken H (1997) Logical tools for modelling legal argument. Dordrecht, Kluwer Academic Publisher"},{"issue":"3-4","key":"9059_CR31","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/BF00118496","volume":"4","author":"H Prakken","year":"1996","unstructured":"Prakken H, Sartor G (1996) A dialectical model of assessing conflicting arguments in legal reasoning. Artif Intel Law 4(3\u20134):331\u2013368","journal-title":"Artif Intel Law"},{"key":"9059_CR32","unstructured":"Royakkers L, Dignum F (1997) The logic of enactment. In: Procs of Fourth International Conference on Artificial Intelligence and Law (ICAIL\u201997), ACM, p. 257"},{"key":"9059_CR33","volume-title":"The construction of social reality","author":"J Searle","year":"1995","unstructured":"Searle J (1995) The construction of social reality. New York, The Free Press"},{"issue":"1-2","key":"9059_CR34","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(94)00007-N","volume":"73","author":"Y Shoham","year":"1995","unstructured":"Shoham Y, Tennenholtz M (1995) On social laws for artificial agent societies: off-line design. Artif Intel 73(1\u20132):231\u2013252","journal-title":"Artif Intel"},{"issue":"1\u20132","key":"9059_CR35","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1023\/A:1020207321544","volume":"37","author":"L Torre van der","year":"2003","unstructured":"van der Torre L (2003) Contextual deontic logic: normative agents, violations and independence. Annl Math Artif Intel 37(1\u20132):33\u201363","journal-title":"Annl Math Artif Intel"},{"issue":"1\u20134","key":"9059_CR36","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1023\/A:1018975332469","volume":"27","author":"L Torre van der","year":"1999","unstructured":"van der Torre L, Tan Y (1999) Contrary-to-duty reasoning with preference-based dyadic obligations. Annl Math Artif Intel 27(1\u20134):49\u201378","journal-title":"Annl Math Artif Intel"},{"key":"9059_CR37","unstructured":"Verhagen H (1999) On the learning of norms. In: Procs of Modelling Autonomous Agents in a Multi-Agent World (MAAMAW \u201999)"},{"key":"9059_CR38","doi-asserted-by":"crossref","unstructured":"Verheij B (2001) Legal decision making as dialectical theory construction with argumentations schemes. In: Procs of Eighth International Conference on Artificial Intelligence and Law (ICAIL\u201901), ACM, pp 225\u2013226","DOI":"10.1145\/383535.383565"},{"key":"9059_CR39","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"GH Wright von","year":"1951","unstructured":"von Wright GH (1951) Deontic logic. Mind 60:1\u201315","journal-title":"Mind"},{"key":"9059_CR40","volume-title":"Norm and action. A logical inquiry","author":"GH Wright von","year":"1963","unstructured":"von Wright GH (1963) Norm and action. A logical inquiry. Routledge and Kegan Paul, London"}],"container-title":["Artificial Intelligence and Law"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-007-9059-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10506-007-9059-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-007-9059-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T14:57:15Z","timestamp":1559141835000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10506-007-9059-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,3]]},"references-count":42,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008,3]]}},"alternative-id":["9059"],"URL":"https:\/\/doi.org\/10.1007\/s10506-007-9059-8","relation":{},"ISSN":["0924-8463","1572-8382"],"issn-type":[{"value":"0924-8463","type":"print"},{"value":"1572-8382","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,10,3]]}}}