{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T00:10:10Z","timestamp":1748650210894,"version":"3.41.0"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2015,10,8]],"date-time":"2015-10-08T00:00:00Z","timestamp":1444262400000},"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,12]]},"DOI":"10.1007\/s10506-015-9175-9","type":"journal-article","created":{"date-parts":[[2015,10,8]],"date-time":"2015-10-08T11:21:38Z","timestamp":1444303298000},"page":"345-366","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Transition systems for designing and reasoning about norms"],"prefix":"10.1007","volume":"23","author":[{"given":"Trevor J. M.","family":"Bench-Capon","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,10,8]]},"reference":[{"key":"9175_CR1","doi-asserted-by":"crossref","unstructured":"\u00c5gotnes T, van der Hoek W, Tennenholtz M, Wooldridge M (2009) Power in normative systems. In Proceedings of the 8th international conference on autonomous agents and multiagent systems, vol 1, pp 145\u2013152. International Foundation for Autonomous Agents and Multiagent Systems","DOI":"10.1145\/1329125.1329284"},{"key":"9175_CR2","doi-asserted-by":"crossref","unstructured":"\u00c5gotnes T, van der Hoek W, Wooldridge M (2008) Robust normative systems. In Proceedings of the 7th international joint conference on autonomous agents and multiagent systems, vol 2, pp 747\u2013754. International Foundation for Autonomous Agents and Multiagent Systems","DOI":"10.1145\/1329125.1329284"},{"issue":"5","key":"9175_CR3","doi-asserted-by":"crossref","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R Alur","year":"2002","unstructured":"Alur R, Henzinger TA, Kupferman O (2002) Alternating-time temporal logic. J ACM 49(5):672\u2013713","journal-title":"J ACM"},{"key":"9175_CR4","doi-asserted-by":"crossref","unstructured":"Alur R, Henzinger TA, Mang FYC, Qadeer S, Rajamani SK, Tasiran S (1998) MOCHA: modularity in model checking. In Proceedings of computer aided verification, 10th international conference, pp 521\u2013525","DOI":"10.1007\/BFb0028774"},{"key":"9175_CR5","doi-asserted-by":"crossref","unstructured":"Arcos J, Esteva M, Noriega P, Rodr\u00edguez-Aguilar J, Sierra C (2005) An integrated development environment for electronic institutions. In Software agent-based applications, platforms and development kits, pp 121\u2013142. Birkh\u00e4user Basel","DOI":"10.1007\/3-7643-7348-2_6"},{"key":"9175_CR6","doi-asserted-by":"crossref","unstructured":"Atkinson K, Bench-Capon T (2007) Practical reasoning as presumptive argumentation using action based alternating transition systems. Artif Intell 171(10\u201315):855\u2013874","DOI":"10.1016\/j.artint.2007.04.009"},{"key":"9175_CR7","unstructured":"Atkinson K, Bench-Capon T (2014) States, goals and values: revisiting practical reasoning. In Proceedings of 11th Intl. Workshop on Argumentation in Multi-Agent Systems"},{"key":"9175_CR8","doi-asserted-by":"crossref","unstructured":"Atkinson K, Bench-Capon TJM (2014) Taking the long view: looking ahead in practical reasoning. In Proceedings of the fifth international conference on computational models of argument (COMMA 2014), pp 109\u2013120","DOI":"10.3233\/978-1-61499-436-7-109"},{"issue":"10\u201315","key":"9175_CR9","doi-asserted-by":"crossref","first-page":"855","DOI":"10.1016\/j.artint.2007.04.009","volume":"171","author":"K Atkinson","year":"2007","unstructured":"Atkinson K, Bench-Capon T (2007) Practical reasoning as presumptive argumentation using action based alternating transition systems. Artif Intell 171(10\u201315):855\u2013874","journal-title":"Artif Intell"},{"key":"9175_CR10","doi-asserted-by":"crossref","unstructured":"Bench-Capon TJM (2003) Persuasion in practical argument using value-based argumentation frameworks. J Logic Comput 13(3):429\u2013448","DOI":"10.1093\/logcom\/13.3.429"},{"issue":"3","key":"9175_CR11","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1093\/logcom\/13.3.429","volume":"13","author":"TJM Bench-Capon","year":"2003","unstructured":"Bench-Capon TJM (2003) Persuasion in practical argument using value-based argumentation frameworks. J Logic Comput 13(3):429\u2013448","journal-title":"J Logic Comput"},{"key":"9175_CR12","unstructured":"Boer A (2014) Punishments, rewards, and the production of evidence. In Legal knowledge and information systems\u2014JURIX 2014: the twenty-seventh annual conference, pp 97\u2013102"},{"key":"9175_CR13","unstructured":"Di Napoli C, Sierra C, Giordano M, Noriega P, Furnari MM (1996) A PVM implementation of the fishmarket multiagent system. In Proceedings of ISAI\/IFIS 1996. Mexico-USA Collaboration in Intelligent Systems Technologies, pp 68\u201376. IEEE"},{"key":"9175_CR14","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1016\/j.artint.2012.03.004","volume":"186","author":"M d\u2019Inverno","year":"2012","unstructured":"d\u2019Inverno M, Luck M, Noriega P, Rodr\u00edguez-Aguilar JA, Sierra C (2012) Communicating open systems. Artif. Intell. 186:38\u201394","journal-title":"Artif. Intell."},{"key":"9175_CR15","first-page":"1072","volume":"995","author":"EA Emerson","year":"1990","unstructured":"Emerson EA (1990) Temporal and modal logic. Handb Theor Comput Sci Vol B Formal Models Semat B 995:1072","journal-title":"Handb Theor Comput Sci Vol B Formal Models Semat B"},{"key":"9175_CR16","doi-asserted-by":"crossref","unstructured":"Esteva M, De La Cruz D, Sierra C (2002) Islander: an electronic institutions editor. In Proceedings of the first international joint conference on autonomous agents and multiagent systems: part 3, pp 1045\u20131052. ACM","DOI":"10.1145\/545068.545069"},{"key":"9175_CR17","doi-asserted-by":"crossref","unstructured":"Gordon TF (1987) Oblog-2: a hybrid knowledge representation system for defeasible reasoning. In Proceedings of the first international conference on artificial intelligence and law, pp 231\u2013239","DOI":"10.1145\/41735.41761"},{"key":"9175_CR18","unstructured":"Governatori G (2013) Business process compliance: an abstract normative framework. Inf Technol 55(6):231\u2013238"},{"issue":"6","key":"9175_CR19","first-page":"231","volume":"55","author":"G Governatori","year":"2013","unstructured":"Governatori G (2013) Business process compliance: an abstract normative framework. Inf Technol 55(6):231\u2013238","journal-title":"Inf Technol"},{"issue":"1","key":"9175_CR20","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF00118478","volume":"1","author":"A Jones","year":"1992","unstructured":"Jones A, Sergot M (1992) Deontic logic in the representation of law: towards a methodology. Artif Intell Law 1(1):45\u201364","journal-title":"Artif Intell Law"},{"key":"9175_CR21","unstructured":"Kant I (1785) Grundlegung zur Metaphysik der Sitten. English edition: fundamental principles of the metaphysics of ethics (trans: Abbott TK). London, Longmans, Green and co"},{"key":"9175_CR22","unstructured":"Reiter R (1992) Formalizing database evolution in the situation calculus. In Fifth generation computer systems \u201992: proceedings of the international conference on fifth generation computer systems, pp 600\u2013609"},{"key":"9175_CR23","unstructured":"Shoham Y, Tennenholtz M (1992) On the synthesis of useful social laws for artificial agent societies (preliminary report). In AAAI, pp 276\u2013281"},{"key":"9175_CR24","volume-title":"The emergence of norms","author":"E Ullmann-Margalit","year":"1977","unstructured":"Ullmann-Margalit E (1977) The emergence of norms. Clarendon Press, Oxford"},{"issue":"1","key":"9175_CR25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11229-006-9072-6","volume":"156","author":"W Hoek van Der","year":"2007","unstructured":"van Der Hoek W, Roberts M, Wooldridge M (2007) Social laws in alternating time: effectiveness, feasibility, and synthesis. Synthese 156(1):1\u201319","journal-title":"Synthese"},{"key":"9175_CR26","doi-asserted-by":"crossref","unstructured":"Winkels R, Den Haan N (1995) Automated legislative drafting: generating paraphrases of legislation. In Proceedings of the 5th international conference on artificial intelligence and law, pp 112\u2013118. ACM","DOI":"10.1145\/222092.222202"},{"key":"9175_CR27","unstructured":"Wyner A (2006) Violations and fulfillments in the formal representation of contracts. Ph.D. thesis, King\u2019s College, London"}],"container-title":["Artificial Intelligence and Law"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-015-9175-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10506-015-9175-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-015-9175-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T23:34:15Z","timestamp":1748648055000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10506-015-9175-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,8]]},"references-count":27,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["9175"],"URL":"https:\/\/doi.org\/10.1007\/s10506-015-9175-9","relation":{},"ISSN":["0924-8463","1572-8382"],"issn-type":[{"type":"print","value":"0924-8463"},{"type":"electronic","value":"1572-8382"}],"subject":[],"published":{"date-parts":[[2015,10,8]]}}}