{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T20:42:16Z","timestamp":1778272936026,"version":"3.51.4"},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artif Intell Rev"],"published-print":{"date-parts":[[2013,1]]},"DOI":"10.1007\/s10462-012-9387-2","type":"journal-article","created":{"date-parts":[[2013,1,8]],"date-time":"2013-01-08T22:50:23Z","timestamp":1357685423000},"page":"5-20","source":"Crossref","is-referenced-by-count":56,"title":["The design of intelligent socio-technical systems"],"prefix":"10.1007","volume":"39","author":[{"given":"Andrew J. I.","family":"Jones","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Artikis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeremy","family":"Pitt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,1,9]]},"reference":[{"issue":"1\u20132","key":"9387_CR1","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/j.artint.2003.08.002","volume":"153","author":"V Akman","year":"2004","unstructured":"Akman V, Erdogan S, Lee J, Lifschitz V, Turner H (2004) Representing the zoo world and the traffic world in the language of the causal calculator. Artif Intell 153(1\u20132):105\u2013140","journal-title":"Artif Intell"},{"key":"9387_CR2","doi-asserted-by":"crossref","first-page":"833","DOI":"10.2307\/794073","volume":"66","author":"L Allen","year":"1957","unstructured":"Allen L (1957) A razor-edged tool for drafting and interpreting legal documents. Yale Law J 66:833\u2013879","journal-title":"Yale Law J"},{"key":"9387_CR3","unstructured":"Andrews P, Polack F, Sampson A, Stepney S, Timmis J (2010), The CoSMoS process, version 0.1: a process for the modelling and simulation of complex systems. Technical report YS-2010-453, University of York"},{"issue":"1","key":"9387_CR4","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1093\/jigpal\/jzp071","volume":"18","author":"A Artikis","year":"2010","unstructured":"Artikis A, Sergot M (2010) Executable specification of open multi-agent systems. Logic J IGPL 18(1):31\u201365","journal-title":"Logic J IGPL"},{"issue":"10\u201315","key":"9387_CR5","doi-asserted-by":"crossref","first-page":"776","DOI":"10.1016\/j.artint.2007.04.008","volume":"171","author":"A Artikis","year":"2007","unstructured":"Artikis A, Sergot M, Pitt J (2007) Executable specification of a formal argumentation protocol. Artif Intell 171(10\u201315):776\u2013804","journal-title":"Artif Intell"},{"issue":"2","key":"9387_CR6","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1093\/logcom\/11.2.257","volume":"11","author":"G Brewka","year":"2001","unstructured":"Brewka G (2001) Dynamic argument systems: a formal model of argumentation processes based on situation calculus. J Logic Comput 11(2):257\u2013282","journal-title":"J Logic Comput"},{"key":"9387_CR7","unstructured":"Castelfranchi C, Falcone R (1998) Social trust. In: Proceedings of the first workshop on deception, fraud and trust in agent societies, pp 35\u201349"},{"key":"9387_CR8","volume-title":"Trust and deception in virtual societies","year":"2001","unstructured":"Castelfranchi C, Tan YH (eds) (2001) Trust and deception in virtual societies. Kluwer, Dordrecht"},{"key":"9387_CR9","unstructured":"Chopra A, Singh M (2006) Contextualising commitment protocols. In: Proceedings of the conference on autonomous agents and multi-agent systems (AAMAS), ACM, pp 1345\u20131352"},{"issue":"2","key":"9387_CR10","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1016\/j.jal.2007.06.007","volume":"6","author":"R Craven","year":"2008","unstructured":"Craven R, Sergot M (2008) Agent strands in the action language nC+. J Appl Logic 6(2):172\u2013191","journal-title":"J Appl Logic"},{"key":"9387_CR11","doi-asserted-by":"crossref","unstructured":"Delgrande J (1988) An approach to default reasoning based on a first-order conditional logic: revised report. Artif Intell 36:62\u201390","DOI":"10.1016\/0004-3702(88)90079-3"},{"key":"9387_CR12","volume-title":"Darwin\u2019s dangerous idea: evolution and the meanings of life","author":"D Dennett","year":"1995","unstructured":"Dennett D (1995) Darwin\u2019s dangerous idea: evolution and the meanings of life. Penguin Books, London"},{"key":"9387_CR13","unstructured":"Edmonds B, Gilbert N, Gustafson S, Hales D, Krasnogor N (eds) (2005) Socially inspired computing. In: Proceedings of the joint symposium on socially inspired computing, AISB"},{"key":"9387_CR14","unstructured":"FIPA (2002) FIPA communicative act library specification. http:\/\/www.fipa.org\/specs\/fipa00037\/index.html"},{"key":"9387_CR15","doi-asserted-by":"crossref","unstructured":"Fornara N, Colombetti M (2009) Formal specification of artificial institutions using the event calculus. Multi-agent systems: semantics and dynamics of organizational models, IGI Global","DOI":"10.4018\/978-1-60566-256-5.ch014"},{"key":"9387_CR16","unstructured":"Fox M, Barbuceanu M, Gr\u00fcninger M, Lin J (1998) An organizational ontology for enterprise modeling. In: Prietula M, Carley K, Gasser L (eds) Simulating organizations: computational models for institutions and groups. AAAI Press\/MIT Press, pp 131\u2013152"},{"issue":"1\u20132","key":"9387_CR17","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","volume":"153","author":"E Giunchiglia","year":"2004","unstructured":"Giunchiglia E, Lee J, Lifschitz V, McCain N, Turner H (2004) Nonmonotonic causal theories. Artif Intell 153(1\u20132):49\u2013104","journal-title":"Artif Intell"},{"key":"9387_CR18","unstructured":"Grossi D, Jones A (in press) Constitutive norms and counts-as conditionals. In: Gabbay D, Horty J, van der Meyden R, van der Torre L (eds) Handbook on logic of normative systems, vol 1. College Publications, UK"},{"key":"9387_CR19","doi-asserted-by":"crossref","unstructured":"Gr\u00fcninger M, Fox M (1994) The role of competency questions in enterprise engineering. In: Proceedings of the IFIP WG5.7 workshop on benchmarking-theory and practice","DOI":"10.1007\/978-0-387-34847-6_3"},{"key":"9387_CR20","unstructured":"Herzig A, Lorini E, H\u00fcbner JF, Ben-Naim J, Castelfranchi C, Demolombe R, Longin, D, Vercouter L (2008) Prolegomena for a logic of trust and reputation. In: Proceedings of NORMAS, pp 143\u2013157"},{"issue":"1","key":"9387_CR21","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1093\/jigpal\/jzp077","volume":"18","author":"A Herzig","year":"2010","unstructured":"Herzig A, Lorini E, H\u00fcbner JF, Vercouter L (2010) A logic of trust and reputation. Logic J IGPL 18(1):214\u2013244","journal-title":"Logic J IGPL"},{"key":"9387_CR22","doi-asserted-by":"crossref","unstructured":"Hohfeld W (1913) Some fundamental legal conceptions as applied in judicial reasoning. Yale Law J 23(16):16\u201359","DOI":"10.2307\/785533"},{"key":"9387_CR23","volume-title":"Deontic logic in computer science","author":"A Jones","year":"1933","unstructured":"Jones A, Sergot M (1933) On the characterization of law and computer systems: the normative systems perspective. In: Meyer JJ, Wieringa R (eds) Deontic logic in computer science. Wiley, Chichester"},{"issue":"3","key":"9387_CR24","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1093\/jigpal\/4.3.427","volume":"4","author":"A Jones","year":"1996","unstructured":"Jones A, Sergot M (1996) A formal characterization of institutionalised power. J IGPL 4(3):429\u2013445","journal-title":"J IGPL"},{"key":"9387_CR25","unstructured":"Jones A, Pitt J, Artikis A (2011) On the analysis and implementation of normative systems\u2014towards a methodology. In: Proceedings of the workshop on coordination, organisation, institutions and norms (COIN), at the 10th international conference on autonomous agents and multi-agent systems. Taipei, Taiwan, pp 47\u201356"},{"key":"9387_CR26","unstructured":"Kanger S (1957) New foundations for ethical theory, University of Stockholm, Department of Philosophy. Also in: Hilpinen R (ed) Deontic logic: introductory and systematic readings. Reidel, Dordrecht"},{"key":"9387_CR27","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\u2013132","journal-title":"Theoria"},{"key":"9387_CR28","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1111\/j.1755-2567.1966.tb00594.x","volume":"32","author":"S Kanger","year":"1966","unstructured":"Kanger S, Kanger H (1966) Rights and parliamentarism. Theoria 32:85\u2013115","journal-title":"Theoria"},{"issue":"1","key":"9387_CR29","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R Kowalski","year":"1986","unstructured":"Kowalski R, Sergot M (1986) A logic-based calculus of events. New Gener Comput 4(1):67\u201396","journal-title":"New Gener Comput"},{"key":"9387_CR30","unstructured":"Levesque H, Pirri F, Reiter R (1998) Foundations for the situation calculus. Link\u00f6ping Electron Articles Comput Inf Sci 3:159\u2013178"},{"key":"9387_CR31","volume-title":"Convention\u2014a philosophical study","author":"D Lewis","year":"1969","unstructured":"Lewis D (1969) Convention\u2014a philosophical study. Harvard University Press, Cambridge, MA"},{"key":"9387_CR32","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-1202-7","volume-title":"Position and change: a study in law and logic","author":"L Lindahl","year":"1977","unstructured":"Lindahl L (1977) Position and change: a study in law and logic. Reidel, Dordrecht"},{"key":"9387_CR33","unstructured":"Mar\u00edn R, Sartor G (1999) Time and norms; a formalisation in the event calculus. In: Proceedings of the conference on artificial intelligence and law (ICAIL), ACM Press, pp 90\u2013100"},{"key":"9387_CR34","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/S0049-237X(08)72018-4","volume-title":"Computer programming and formal systems","author":"J McCarthy","year":"1963","unstructured":"McCarthy J (1963) A basis for a mathematical theory of computation. In: Braffort P, Hirschberg D (eds) Computer programming and formal systems. North-Holland, Amsterdam, pp 33\u201370"},{"key":"9387_CR35","unstructured":"Oren N, Luck M, Miles S (2010) A model of normative power. In: Proceedings of the 9th international conference on autonomous agents and multiagent systems (AAMAS), pp 815\u2013822"},{"key":"9387_CR36","unstructured":"Pinto J, Reiter R (1993) Temporal reasoning in logic programming: a case for the situation calculus. In: Warren D (ed) Proceedings of conference on logic programming. MIT Press, Cambridge, MA, pp 203\u2013221"},{"key":"9387_CR37","doi-asserted-by":"crossref","unstructured":"Pinyol I, Sabater-Mir J (2011) Computational trust and reputation models for open multi-agent systems: a review. Artif Intell Rev (Springer online-first)","DOI":"10.1007\/s10462-011-9277-z"},{"key":"9387_CR38","volume-title":"The logic of power","author":"I P\u00f6rn","year":"1970","unstructured":"P\u00f6rn I (1970) The logic of power. Blackwell, Oxford"},{"key":"9387_CR39","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-1268-3","volume-title":"Action theory and social science\u2014some formal models, Synthese Library vol 120","author":"I P\u00f6rn","year":"1977","unstructured":"P\u00f6rn I (1977) Action theory and social science\u2014some formal models, Synthese Library vol 120. Reidel, Dordrecht, Holland"},{"key":"9387_CR40","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/BF00370671","volume":"57","author":"H Prakken","year":"1996","unstructured":"Prakken H, Sergot M (1996) Contrary-to-duty obligations. Studia Logica 57:91\u2013115","journal-title":"Studia Logica"},{"key":"9387_CR41","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/0004-3702(93)90109-O","volume":"64","author":"R Reiter","year":"1993","unstructured":"Reiter R (1993) Proving properties of states in the situation calculus. Artif Intell 64:337\u2013351","journal-title":"Artif Intell"},{"key":"9387_CR42","doi-asserted-by":"crossref","unstructured":"Sandhu R, Ferraiolo D, Kuhn R (2000) The NIST model for role-based action control: toward a unified standard. In: The 5th ACM workshop on role-based access control, RAC \u201900, pp 47\u201363","DOI":"10.1145\/344287.344301"},{"key":"9387_CR43","unstructured":"Santos F (2002) A modal logic framework for organization analysis and design. In: Horty J, Jones A (eds) Proceedings of the workshop on deontic logic in computer science (DEON), pp 279\u2013299"},{"key":"9387_CR44","unstructured":"Santos F, Jones A, Carmo J (1997) Action concepts for describing organized interaction. In: Sprague RA (ed) HICCS \u201997: proceedings of the 30th Hawaii conference on system sciences. IEEE Computer Society, pp 373\u2013382"},{"key":"9387_CR45","doi-asserted-by":"crossref","unstructured":"Sergot M (2008) Action and agency in norm-governed multi-agent systems. In: Artikis A, O\u2019Hare G, Stathis K, Vouros G (eds) Proceedings of ESAW VIII, LNAI 4995. Springer, pp 1\u201354","DOI":"10.1007\/978-3-540-87654-0_1"},{"key":"9387_CR46","unstructured":"Sergot, M, Craven R (2006) The deontic component of action language nC+. In: Goble L, Meyer J-J (eds) Deontic logic in computer science (DEON\u201906), LNAI 4048. Springer, pp 222\u2013237"},{"issue":"2\u20133","key":"9387_CR47","first-page":"273","volume":"48","author":"M Sergot","year":"2001","unstructured":"Sergot M, Richards F (2001) On the representation of action and agency in the theory of normative positions. Fundamenta Informaticae 48(2\u20133):273\u2013293","journal-title":"Fundamenta Informaticae"},{"key":"9387_CR48","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199580828.001.0001","volume-title":"Signals: evolution. learning and information","author":"B Skyrms","year":"2010","unstructured":"Skyrms B (2010) Signals: evolution. learning and information. Oxford University Press, Oxford"},{"key":"9387_CR49","volume-title":"The artificial life route to artificial intelligence: building situated embodied agents","author":"L Steels","year":"1994","unstructured":"Steels L, Brooks R (1994) The artificial life route to artificial intelligence: building situated embodied agents. Lawrence Erlbaum Ass, New Haven"},{"issue":"1\u20133","key":"9387_CR50","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1023\/B:AMAI.0000034528.55456.d9","volume":"42","author":"P Yolum","year":"2004","unstructured":"Yolum P, Singh M (2004) Reasoning about commitments in the event calculus: an approach for specifying and executing protocols. Ann Math Artif Intell 42(1\u20133):227\u2013253","journal-title":"Ann Math Artif Intell"}],"container-title":["Artificial Intelligence Review"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10462-012-9387-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10462-012-9387-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10462-012-9387-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,5]],"date-time":"2022-02-05T14:48:08Z","timestamp":1644072488000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10462-012-9387-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1]]},"references-count":50,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,1]]}},"alternative-id":["9387"],"URL":"https:\/\/doi.org\/10.1007\/s10462-012-9387-2","relation":{},"ISSN":["0269-2821","1573-7462"],"issn-type":[{"value":"0269-2821","type":"print"},{"value":"1573-7462","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,1]]}}}