{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T08:06:47Z","timestamp":1761984407791,"version":"build-2065373602"},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2015,3,1]],"date-time":"2015-03-01T00:00:00Z","timestamp":1425168000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Artif Intell Law"],"published-print":{"date-parts":[[2015,3]]},"DOI":"10.1007\/s10506-015-9164-z","type":"journal-article","created":{"date-parts":[[2015,3,19]],"date-time":"2015-03-19T14:16:20Z","timestamp":1426774580000},"page":"43-102","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Situated legal systems and their operational semantics"],"prefix":"10.1007","volume":"23","author":[{"given":"Ant\u00f4nio Carlos","family":"da Rocha Costa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,3,20]]},"reference":[{"issue":"47","key":"9164_CR1","first-page":"242","volume":"12","author":"CE Alchourr\u00f3n","year":"1969","unstructured":"Alchourr\u00f3n CE (1969) Logic of norms and logic of normative propositions. Log Anal 12(47):242\u2013268","journal-title":"Log Anal"},{"key":"9164_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-7118-9","volume-title":"Normative systems","author":"CE Alchourr\u00f3n","year":"1971","unstructured":"Alchourr\u00f3n CE, Bulygin E (1971) Normative systems. Springer, Berlin"},{"key":"9164_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511521546","volume-title":"The province of jurisprudence determined","author":"J Austin","year":"1995","unstructured":"Austin J (1995) The province of jurisprudence determined. Cambridge University Press, Cambridge"},{"key":"9164_CR4","volume-title":"The limits of jursiprudence defined","author":"J Bentham","year":"1970","unstructured":"Bentham J (1970a) The limits of jursiprudence defined. Greenwood Publishing Group, Westport"},{"key":"9164_CR5","volume-title":"Of laws in general","author":"J Bentham","year":"1970","unstructured":"Bentham J (1970b) Of laws in general. Athlone Press, London"},{"key":"9164_CR6","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 Organ Theory 12:71\u201379","journal-title":"Comput Math Organ Theory"},{"key":"9164_CR7","volume-title":"Sociological paradigms and organisational analysis: elements of the sociology of corporate life","author":"G Burrell","year":"1979","unstructured":"Burrell G, Morgan G (1979) Sociological paradigms and organisational analysis: elements of the sociology of corporate life. Ashgate Publishing, Surrey"},{"key":"9164_CR8","doi-asserted-by":"crossref","DOI":"10.1515\/9783110218329","volume-title":"Syntatic structures","author":"N Chomsky","year":"2002","unstructured":"Chomsky N (2002) Syntatic structures. De Gruyter Mouton, Berlin"},{"key":"9164_CR44","unstructured":"Costa ACR (2014a) Proposal for a notion of modularity in multiagent systems. In: Birna van Riemskijk \u00a0M, Dalpiaz F, Dix J (eds) Informal proceedings\u00a0of EMAS 2014. AAMAS@Paris"},{"key":"9164_CR45","unstructured":"Costa ACR (2014b) On the legal aspects of agent societies. Open publication on\u00a0 www.ResearchGate.net . doi: 10.13140\/2.1.4345.7923"},{"key":"9164_CR46","unstructured":"Costa ACR (2014c) On the bases of an architectural style for agent societies:\u00a0concept and core operational structure. Open publication on www.ResearchGate.net .\u00a0doi: 10.13140\/2.1.4583.8720"},{"key":"9164_CR47","doi-asserted-by":"crossref","unstructured":"Costa ACR (2014d) Toward a formal reconstruction of Kelsen\u2019s theory of legal\u00a0systems. In: WEIT 2013 - 2nd workshop-school on theoretical computer science, IEEE, New\u00a0York","DOI":"10.1109\/WEIT.2013.23"},{"key":"9164_CR48","doi-asserted-by":"crossref","unstructured":"Costa ACR, Dimuro GP (2009) A minimal dynamical organization\u00a0model. In: Dignum V (ed) Hanbook of multi-agent systems: semantics and\u00a0dynamics of organizational models. IGI Global, pp 419\u2013445","DOI":"10.4018\/978-1-60566-256-5.ch017"},{"key":"9164_CR50","unstructured":"Costa ACR, Santos IAS (2012) Toward a framework for\u00a0simulating agent-based models of public policy processes on the Jason-CArtAgO platform.\u00a0In: AMPLE@ECAI 2012 - 2nd international workshop on agent-based modeling for policy\u00a0engineering. ECAI, Montpellier"},{"key":"9164_CR49","unstructured":"Costa ACR, H\u00fcbner JF, Bordini RH (1994) On entering\u00a0an open society. In: Proceedings of the XI Brazilian symposium on artificial intelligence. Sociedade Brasileira de Computa\u00e7\u00e3o, Fortaleza, pp 535\u2013546"},{"key":"9164_CR9","volume-title":"Discretionary justice: a preliminary inquiry","author":"KC Davis","year":"1976","unstructured":"Davis KC (1976) Discretionary justice: a preliminary inquiry. University of Illinois Press, Champaign"},{"key":"9164_CR51","unstructured":"Demazeau Y, Costa ACR (1996) Populations and organizations in open\u00a0multi-agent systems. In: 1st national symposium on parallel and distributed artificial\u00a0intelligence (PDAI\u201996). Hyderabad, India"},{"key":"9164_CR10","volume-title":"Taking rights seriously","author":"R Dworkin","year":"1977","unstructured":"Dworkin R (1977) Taking rights seriously. Harvard University Press, Cambridge"},{"key":"9164_CR11","volume-title":"A matter of principle","author":"R Dworkin","year":"1985","unstructured":"Dworkin R (1985) A matter of principle. Harvard University Press, Cambridge"},{"key":"9164_CR12","volume-title":"Law\u2019s empire","author":"R Dworkin","year":"1986","unstructured":"Dworkin R (1986) Law\u2019s empire. Harvard University Press, Cambridge"},{"key":"9164_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-6368-8","volume-title":"Programming languages and operational semantics: a concise overview","author":"M Fern\u00e1ndez","year":"2014","unstructured":"Fern\u00e1ndez M (2014) Programming languages and operational semantics: a concise overview. Springer, Berlin"},{"key":"9164_CR14","unstructured":"Fox MS (1979) Organization structuring: designing large complex software. Technical report, Carnegie-Mellon University (Technical Report CMU-CS-79-155), Pittsburgh"},{"key":"9164_CR15","volume-title":"Simulation for the social scientist","author":"N Gilbert","year":"2005","unstructured":"Gilbert N, Troitzsch K (2005) Simulation for the social scientist. Open University Press, London"},{"issue":"1","key":"9164_CR17","first-page":"25","volume":"16","author":"G Governatori","year":"2008","unstructured":"Governatori G, Rotolo A (2008) A computational framework for institutional agency. AI Law 16(1):25\u201352","journal-title":"AI Law"},{"issue":"1","key":"9164_CR18","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1093\/jigpal\/jzp075","volume":"18","author":"G Governatori","year":"2010","unstructured":"Governatori G, Rotolo A (2010) Changing legal systems: legal abrogations and annulments in Defeasible Logic. J IGPL 18(1):157\u2013194","journal-title":"J IGPL"},{"key":"9164_CR16","unstructured":"Governatori G, Sartor G (eds) (2011) Special issue: deontic logic and normative systems. AI Law 19(2\u20133)"},{"key":"9164_CR19","first-page":"251","volume-title":"Logic and philosophy today","author":"D Grossi","year":"2011","unstructured":"Grossi D, Rotolo A (2011) Logic in the law: a concise overview. In: Gupta A, van Benthem J (eds) Logic and philosophy today. College Publications, London, pp 251\u2013274"},{"issue":"4","key":"9164_CR20","doi-asserted-by":"crossref","first-page":"593","DOI":"10.2307\/1338225","volume":"71","author":"HLA Hart","year":"1958","unstructured":"Hart HLA (1958) Positivism and the separation of law and morals. Harv Law Rev 71(4):593\u2013629","journal-title":"Harv Law Rev"},{"key":"9164_CR21","doi-asserted-by":"crossref","unstructured":"Hart HLA (1962\u20131963) Kelsen visited. UCLA Law Rev 10:709\u2013728","DOI":"10.1136\/bmj.1.5279.728-f"},{"key":"9164_CR22","doi-asserted-by":"crossref","DOI":"10.1093\/he\/9780199644704.001.0001","volume-title":"The concept of law","author":"HLA Hart","year":"2012","unstructured":"Hart HLA (2012) The concept of law. Oxford University Press, Oxford"},{"key":"9164_CR23","volume-title":"Communicating sequential processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare CAR (1985) Communicating sequential processes. Prentice-Hall, Englewood Cliffs"},{"key":"9164_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-349-17169-9","volume-title":"The tools of government","author":"C Hood","year":"1983","unstructured":"Hood C (1983) The tools of government. Macmillan, London"},{"issue":"3","key":"9164_CR25","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/s10458-009-9084-y","volume":"20","author":"JF H\u00fcbner","year":"2010","unstructured":"H\u00fcbner JF, Boissier O, Kitio R, Ricci A (2010) Instrumenting multi-agent organisations with organisational artifacts and agents: giving the organisational power back to the agents. J Auton Agents Multi-Agent Syst 20(3):369\u2013400","journal-title":"J Auton Agents Multi-Agent Syst"},{"key":"9164_CR26","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198252177.001.0001","volume-title":"General theory of norms","author":"H Kelsen","year":"1991","unstructured":"Kelsen H (1991) General theory of norms. Oxford University Press, Oxford"},{"key":"9164_CR27","volume-title":"General theory of law and state","author":"H Kelsen","year":"2007","unstructured":"Kelsen H (2007) General theory of law and state. The Law Book Exchange, New Jersey"},{"key":"9164_CR28","volume-title":"Pure theory of law","author":"H Kelsen","year":"2009","unstructured":"Kelsen H (2009) Pure theory of law. The Law Book Exchange, New Jersey"},{"key":"9164_CR29","unstructured":"Kelsen H, Klug U (1981) Rechtsnormen und Logishe Analyse. Ein Briefwechsel 1959 bis 1965. Deuticke (Brazilian translation: Normas Jur\u00eddicas e An\u00e1lise L\u00f3gica - Correspond\u00eancia 1959\u20131965. Editora Forense, 1984)"},{"key":"9164_CR30","volume-title":"Understanding philosophy of science","author":"J Ladyman","year":"2001","unstructured":"Ladyman J (2001) Understanding philosophy of science. Routledge, London"},{"key":"9164_CR31","first-page":"279","volume":"12","author":"J Lehmann","year":"2004","unstructured":"Lehmann J, Breuker J, Brouwer B (2004) Causation in AI and law. AI Law 12:279\u2013315","journal-title":"AI Law"},{"key":"9164_CR32","volume-title":"Law as a social system","author":"N Luhmann","year":"2008","unstructured":"Luhmann N (2008) Law as a social system. Oxford University Press, Oxford"},{"key":"9164_CR33","volume-title":"An institutional theory of law: new approaches to legal positivism","author":"N MacCormick","year":"2010","unstructured":"MacCormick N, Weinberger O (2010) An institutional theory of law: new approaches to legal positivism. Springer, Berlin"},{"key":"9164_CR34","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A calculus of communicating systems","author":"R Milner","year":"1980","unstructured":"Milner R (1980) A calculus of communicating systems. Springer, Berlin"},{"volume-title":"Normativity and norms\u2014critical perspectives on Kelsenian themes","year":"2007","key":"9164_CR35","unstructured":"Paulson SL, Paulson BL (eds) (2007) Normativity and norms\u2014critical perspectives on Kelsenian themes. Claredon Press, Oxford"},{"key":"9164_CR36","unstructured":"Plotkin G (1981) A structural approach to operational semantics. Technical report, University of Aarhus"},{"key":"9164_CR37","volume-title":"Deity and morality\u2014with regard to the naturalistic fallacy","author":"BF Porter","year":"1968","unstructured":"Porter BF (1968) Deity and morality\u2014with regard to the naturalistic fallacy. Routledge, London"},{"key":"9164_CR38","volume-title":"Concept of a legal system: an introduction to the theory of legal system","author":"J Raz","year":"1970","unstructured":"Raz J (1970) Concept of a legal system: an introduction to the theory of legal system. Oxford University Press, Oxford"},{"issue":"3","key":"9164_CR39","doi-asserted-by":"crossref","first-page":"795","DOI":"10.2307\/3479604","volume":"59","author":"J Raz","year":"1971","unstructured":"Raz J (1971) The identity of legal systems. Calif Law Rev 59(3):795\u2013815","journal-title":"Calif Law Rev"},{"key":"9164_CR40","unstructured":"Ricci A, Viroli M, Omicini A (2006) Programming MAS with artifacts. In: Bordini RP, Dastani M, Dix J, El Fallah Seghrouchni A (eds) Programming multi-agent systems, vol 3862., LNAI Springer, pp 206\u2013221. Springer, 2006. 3rd International workshop (PROMAS 2005), AAMAS 2005, Utrecht, The Netherlands, 26\/jul\/2005. Revised and Invited Papers"},{"key":"9164_CR52","unstructured":"Santos IAS, Mota FP, Costa ACR, Dimuro GP (2012) Um framework para simula\u00e7\u00e3o de pol\u00edticas p\u00fablicas aplicado ao caso da piracema, sob o olhar da teoria dos jogos. In Encontro Nacional de Intelig\u00eancia\u00a0Artificial - ENIA 2012, Sociedade Brasileira de Computa\u00e7\u00e3o, Porto Alegre"},{"key":"9164_CR41","volume-title":"The construction of social reality","author":"JR Searle","year":"1995","unstructured":"Searle JR (1995) The construction of social reality. The Free Press, New York"},{"key":"9164_CR42","volume-title":"Theoretical principles of sociology","author":"JH Turner","year":"2010","unstructured":"Turner JH (2010) Theoretical principles of sociology. Springer, Berlin"},{"key":"9164_CR43","volume-title":"Programming languages, information structures and machine organization","author":"P Wegner","year":"1968","unstructured":"Wegner P (1968) Programming languages, information structures and machine organization. McGraw-Hill, New York"}],"container-title":["Artificial Intelligence and Law"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-015-9164-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10506-015-9164-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-015-9164-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,22]],"date-time":"2019-08-22T04:43:25Z","timestamp":1566449005000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10506-015-9164-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3]]},"references-count":52,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,3]]}},"alternative-id":["9164"],"URL":"https:\/\/doi.org\/10.1007\/s10506-015-9164-z","relation":{},"ISSN":["0924-8463","1572-8382"],"issn-type":[{"type":"print","value":"0924-8463"},{"type":"electronic","value":"1572-8382"}],"subject":[],"published":{"date-parts":[[2015,3]]}}}