{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T01:24:15Z","timestamp":1768353855791,"version":"3.49.0"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2008,3,1]],"date-time":"2008-03-01T00:00:00Z","timestamp":1204329600000},"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-9056-y","type":"journal-article","created":{"date-parts":[[2008,3,26]],"date-time":"2008-03-26T18:09:31Z","timestamp":1206554971000},"page":"25-52","source":"Crossref","is-referenced-by-count":25,"title":["A computational framework for institutional agency"],"prefix":"10.1007","volume":"16","author":[{"given":"Guido","family":"Governatori","sequence":"first","affiliation":[]},{"given":"Antonino","family":"Rotolo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,3,27]]},"reference":[{"key":"9056_CR1","unstructured":"Antoniou G, Billington D, Governatori G, Maher MJ (2000a) A flexible framework for defeasible logics. In: Proc AAAI 2000. AAAI Press, pp 401\u2013405"},{"issue":"2","key":"9056_CR2","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1145\/371316.371517","volume":"2","author":"G Antoniou","year":"2001","unstructured":"Antoniou G, Billington D, Governatori G, Maher MJ (2001) Representation results for defeasible logic. ACM Transact Comput Logic 2(2):255\u2013287","journal-title":"ACM Transact Comput Logic"},{"key":"9056_CR3","unstructured":"Antoniou G, Billington D, Governatori G, Maher MJ, Rock A (2000b) A family of defeasible reasoning logics and its implementation. In: Proc ECAI 2000. IOS Press, pp 459\u2013463"},{"issue":"6","key":"9056_CR4","doi-asserted-by":"crossref","first-page":"1027","DOI":"10.1093\/logcom\/12.6.1027","volume":"12","author":"A Artosi","year":"2002","unstructured":"Artosi A, Governatori G, Rotolo A (2002) Labelled tableaux for non-monotonic reasoning: cumulative consequence relations. J Logic Comput 12(6):1027\u20131060","journal-title":"J Logic Comput"},{"key":"9056_CR5","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1093\/logcom\/3.4.379","volume":"3","author":"D Billington","year":"1993","unstructured":"Billington D (1993) Defeasible logic is stable. J Logic Comput 3:370\u2013400","journal-title":"J Logic Comput"},{"key":"9056_CR6","unstructured":"Boella G, van der Torre L (2004) Regulative and constitutive norms in normative multiagent systems. In: Proc KR 2004. Morgan Kaufmann, pp 255\u2013266"},{"issue":"1","key":"9056_CR7","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/j.jal.2004.01.007","volume":"2","author":"J Broersen","year":"2004","unstructured":"Broersen J (2004) Action negation and alternative reductions for dynamic deontic logics. J Appl Logic 2(1):153\u2013168","journal-title":"J Appl Logic"},{"key":"9056_CR9","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/S0921-8890(98)00028-1","volume":"24","author":"C Castelfranchi","year":"1998","unstructured":"Castelfranchi C, Falcone R (1998) Towards a theory of delegation for agent-based systems. Robot Auton Agents 24:141\u2013157","journal-title":"Robot Auton Agents"},{"key":"9056_CR10","doi-asserted-by":"crossref","unstructured":"Chellas B (1980) Modal logic. An introduction. Cambridge University Press","DOI":"10.1017\/CBO9780511621192"},{"key":"9056_CR12","doi-asserted-by":"crossref","unstructured":"Conte R, Dellarocas C (2001) Social order in multiagent systems. Kluwer","DOI":"10.1007\/978-1-4615-1555-5"},{"key":"9056_CR13","doi-asserted-by":"crossref","unstructured":"Demolombe R, Herzig A (2004) Obligation change in dependence logic and situation calculus. In: Lomuscio A, Nute D (eds) Proc Deon 2004, LNAI 3065. Springer, pp 57\u201373","DOI":"10.1007\/978-3-540-25927-5_6"},{"key":"9056_CR14","first-page":"1","volume":"2","author":"D Elgesem","year":"1997","unstructured":"Elgesem D (1997) The modal logic of agency. Nordic J Philos Logic 2:1\u201348","journal-title":"Nordic J Philos Logic"},{"issue":"2\u20133","key":"9056_CR15","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1142\/S0218843005001110","volume":"4","author":"AD Farrell","year":"2005","unstructured":"Farrell AD, Sergot M, Sall\u00e9 M, Bartolini C (2005) Using the event calculus for tracking the normative state of contracts. Int J Cooper Inform Syst 4(2\u20133):99\u2013129","journal-title":"Int J Cooper Inform Syst"},{"issue":"1\u20132","key":"9056_CR16","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/s10506-004-1922-2","volume":"12","author":"J Gelati","year":"2004","unstructured":"Gelati J, Governatori G, Rotolo A, Sartor G (2004) Normative autonomy and normative co-ordination: declarative power, representation, and mandate. Artif Intell Law 12(1\u20132):53\u201381","journal-title":"Artif Intell Law"},{"key":"9056_CR17","volume-title":"A theory of human action","author":"A Goldman","year":"1970","unstructured":"Goldman A (1970) A theory of human action. Prentice Hall, Princeton"},{"key":"9056_CR18","doi-asserted-by":"crossref","unstructured":"Governatori G, Pham DH (2005) A semantic web based architecture for e-contracts in defeasible logic. In: Proc RuleML 2005, LNCS 3791. Springer, pp 145\u2013159","DOI":"10.1007\/11580072_12"},{"issue":"4","key":"9056_CR20","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/s10992-004-6368-1","volume":"34","author":"G Governatori","year":"2005","unstructured":"Governatori G, Rotolo A (2005) On the axiomatization of Elgesem\u2019s logic of agency and ability. J Philos Logic 34(4):403\u2013431","journal-title":"J Philos Logic"},{"key":"9056_CR21","unstructured":"Governatori G, Rotolo A, Sartor G (2006) Temporalised normative positions in defeasible logic. In: Proc ICAIL\u201905. ACM, pp 25\u201343"},{"key":"9056_CR22","doi-asserted-by":"crossref","unstructured":"Governatori G, Rotolo A, Padmanabhan V (2006) The cost of social agents. In: Proc AAMAS\u201906. ACM, pp 513\u2013520","DOI":"10.1145\/1160633.1160728"},{"key":"9056_CR23","doi-asserted-by":"crossref","unstructured":"Grossi D, Meyer J-J, Dignum F (2005) Modal logic investigations in the semantics of counts-as. In: Proc ICAIL\u201905. ACM, pp 1\u20139","DOI":"10.1145\/1165485.1165487"},{"key":"9056_CR24","doi-asserted-by":"crossref","unstructured":"Grossi D, Meyer J-J, Dignum F (2006) Counts-as: Classification or constitution? An answer using modal logic. In: Proc Deon\u201906, LNCS 4048. Springer, pp 115\u2013130","DOI":"10.1007\/11786849_11"},{"key":"9056_CR25","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"JY Halpern","year":"1990","unstructured":"Halpern JY, Moses YO (1990) A guide to completeness and complexity for modal logics of knowledge and belief. Artif Intell 54:319\u2013379","journal-title":"Artif Intell"},{"key":"9056_CR26","doi-asserted-by":"crossref","DOI":"10.1093\/0195134613.001.0001","volume-title":"Agency and deontic logic","author":"JF Horty","year":"2001","unstructured":"Horty JF (2001) Agency and deontic logic. Oxford University Press, Oxford"},{"key":"9056_CR28","unstructured":"Jones A, Parent X, Stolpe A (2003) Private communication"},{"key":"9056_CR29","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1093\/jigpal\/4.3.427","volume":"3","author":"A Jones","year":"1996","unstructured":"Jones A, Sergot M (1996) A formal characterisation of institutionalised power. J IGPL 3:427\u2013443","journal-title":"J IGPL"},{"key":"9056_CR30","unstructured":"Jones AJ (forthcoming) A logical framework. In: Pitt J (ed) Open agent societies: normative specifications in multi-agent systems. Wiley"},{"key":"9056_CR31","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1111\/j.1755-2567.1972.tb00928.x","volume":"38","author":"S Kanger","year":"1972","unstructured":"Kanger S (1972) Law and logic. Theoria 38:105\u201332","journal-title":"Theoria"},{"key":"9056_CR32","doi-asserted-by":"crossref","unstructured":"Lindahl L (1977) Position of change: a study in law and logic. Reidel","DOI":"10.1007\/978-94-010-1202-7"},{"issue":"6","key":"9056_CR33","doi-asserted-by":"crossref","first-page":"691","DOI":"10.1017\/S1471068401001168","volume":"1","author":"MJ Maher","year":"2001","unstructured":"Maher MJ (2001) Propositional defeasible logic has linear complexity. Theory Practice Logic Program 1(6):691\u2013711","journal-title":"Theory Practice Logic Program"},{"key":"9056_CR34","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/BF00243391","volume":"15","author":"D Makinson","year":"1986","unstructured":"Makinson D (1986) On the formal representation of rights relations. J Philos Logic 15:403\u2013425","journal-title":"J Philos Logic"},{"key":"9056_CR35","doi-asserted-by":"crossref","unstructured":"Norman T, Reed C (2001) Delegation and responsibility. In: Castelfranchi C, Lesperance Y (eds) Proc Intelligent Agents VII, LNAI 1986. Springer, pp 136\u2013149","DOI":"10.1007\/3-540-44631-1_10"},{"key":"9056_CR37","doi-asserted-by":"crossref","unstructured":"Nute D (1994) Defeasible logic. In: Handbook of logic in artificial intelligence and logic programming, vol 3. Oxford University Press, pp 353\u2013395","DOI":"10.1093\/oso\/9780198537472.003.0007"},{"key":"9056_CR40","unstructured":"Pitt J (ed) (forthcoming) Open agent societies: normative specifications in multi-agent systems. Wiley"},{"key":"9056_CR41","doi-asserted-by":"crossref","unstructured":"Prakken H (1997) Logical tools for modelling legal argument. Kluwer","DOI":"10.1007\/978-94-015-8975-8"},{"key":"9056_CR42","doi-asserted-by":"crossref","unstructured":"P\u00f6rn I (1977) Action theory and social science: some formal models. Reidel","DOI":"10.1007\/978-94-010-1268-3"},{"key":"9056_CR43","unstructured":"Royakkers L (2000) Combining deontic and action logics for collective agency. In: Legal knowledge and information systems (Jurix). IOS Press, pp 135\u2013146"},{"key":"9056_CR44","unstructured":"Santos F, Carmo J (1996) Indirect action. Influence and responsibility. In: Brown M, Carmo J (eds) Deontic logic, agency and normative systems. Springer, pp 194\u2013215"},{"key":"9056_CR45","doi-asserted-by":"crossref","unstructured":"Santos F, Jones A, Carmo J (1997) Action concepts for describing organised interaction. In: Proc 13th HICSS. IEEE Computer Society Press, pp 373\u2013382","DOI":"10.1109\/HICSS.1997.663195"},{"key":"9056_CR46","unstructured":"Searle J (1995) The construction of social reality. Penguin Press"},{"key":"9056_CR47","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/BF01028968","volume":"51","author":"K Segerberg","year":"1992","unstructured":"Segerberg K (1992) Getting started: beginnings in the logic of action. Studia Logica 51:347\u2013358","journal-title":"Studia Logica"},{"key":"9056_CR48","unstructured":"Sergot M (forthcoming) The Language (C\/C\u00a0+)++. In: Pitt J (ed), Open agent societies: normative specifications in multi-agent systems. Wiley"}],"container-title":["Artificial Intelligence and Law"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-007-9056-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10506-007-9056-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-007-9056-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,24]],"date-time":"2024-02-24T05:05:33Z","timestamp":1708751133000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10506-007-9056-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3]]},"references-count":41,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008,3]]}},"alternative-id":["9056"],"URL":"https:\/\/doi.org\/10.1007\/s10506-007-9056-y","relation":{},"ISSN":["0924-8463","1572-8382"],"issn-type":[{"value":"0924-8463","type":"print"},{"value":"1572-8382","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,3]]}}}