{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T10:25:55Z","timestamp":1742639155242},"reference-count":77,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2017,4,6]],"date-time":"2017-04-06T00:00:00Z","timestamp":1491436800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Auton Agent Multi-Agent Syst"],"published-print":{"date-parts":[[2017,11]]},"DOI":"10.1007\/s10458-017-9363-y","type":"journal-article","created":{"date-parts":[[2017,4,6]],"date-time":"2017-04-06T08:33:41Z","timestamp":1491467621000},"page":"1283-1343","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Automated multi-level governance compliance checking"],"prefix":"10.1007","volume":"31","author":[{"given":"Thomas C.","family":"King","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marina","family":"De Vos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Virginia","family":"Dignum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catholijn M.","family":"Jonker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tingting","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julian","family":"Padget","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. Birna","family":"van Riemsdijk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,6]]},"reference":[{"key":"9363_CR1","unstructured":"Aldewereld, H., \u00c1lvarez-Napagao, S., Dignum, F., V\u00e1zquez-Salceda, J. (2010). Making norms concrete. In Proceedings of the 9th international conference on autonomous agents and multiagent systems (AAMAS 2010) (pp. 807\u2013814)."},{"issue":"265","key":"9363_CR2","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1093\/mind\/LXVII.265.100","volume":"67","author":"AR Anderson","year":"1958","unstructured":"Anderson, A. R. (1958). A reduction of deontic logic to alethic modal logic. Mind, 67(265), 100\u2013103.","journal-title":"Mind"},{"key":"9363_CR3","unstructured":"Andrighetto, G., Governatori, G., Noriega, P., van\u00a0der Torre, L. (2013). Normative multi-agent systems, Vol. 4. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik."},{"issue":"2","key":"9363_CR4","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, M. J. (2001). Representation results for defeasible logic. ACM Transactions on Computational Logic, 2(2), 255\u2013287.","journal-title":"ACM Transactions on Computational Logic"},{"key":"9363_CR5","unstructured":"Artikis, A. (2009). Dynamic protocols for open agent systems. In 8th International conference on autonomous agents and multiagent systems (pp. 97\u2013104)."},{"key":"9363_CR6","unstructured":"Artikis, A., Pitt, J., Sergot, M. (2002). Animated specifications of computational societies. In Proceedings of the first international joint conference on Autonomous Agents and Multiagent Systems (pp. 1053 \u2013 1061). New York, NY: ACM Press."},{"key":"9363_CR7","doi-asserted-by":"crossref","unstructured":"Artikis, A., Sergot, M., Pitt, J. (2003). Specifying electronic societies with the causal calculator. In Proceedings of the workshop on agent oriented software engeneering III (AOSE), volume LNCS 2585.","DOI":"10.1007\/3-540-36540-0_1"},{"key":"9363_CR8","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge representation, reasoning and declarative problem solving","author":"C Baral","year":"2003","unstructured":"Baral, C. (2003). Knowledge representation, reasoning and declarative problem solving. Cambridge: Cambridge University Press."},{"key":"9363_CR9","unstructured":"Biagioli, C. (1997). Towards a legal rules functional micro-ontology. In Proceedings of the 1st LegOnt workshop on legal ontologies."},{"key":"9363_CR10","doi-asserted-by":"crossref","unstructured":"Boella, G., van\u00a0der Torre, L. (2003). Permissions and obligations in hierarchical normative systems. In Proceedings of the 9th international conference on artificial intelligence and law (pp. 109\u2013118).","DOI":"10.1145\/1047788.1047818"},{"key":"9363_CR11","unstructured":"Boella, G., van\u00a0der Torre, L. (2004). Regulative and constitutive norms in normative multiagent systems. In Proceedings of 9th international conference on the principles of knowledge representation and reasoning (KR\u201904) (pp 255\u2013265). AAAI Press."},{"key":"9363_CR12","unstructured":"Cliffe, O. (2007). Specifying and analysing institutions in multi-agent systems using answer set programming. PhD thesis, University of Bath."},{"key":"9363_CR13","doi-asserted-by":"crossref","unstructured":"Cliffe, O., De Vos, M., Padget, J. (2007). Answer set programming for representing and reasoning about virtual institutions. Computational logic in multi-agent systems (pp. 60\u201379).","DOI":"10.1007\/978-3-540-69619-3_4"},{"issue":"1","key":"9363_CR14","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1093\/jigpal\/jzt035","volume":"22","author":"N Criado","year":"2013","unstructured":"Criado, N., Argente, E., Noriega, P., & Botti, V. (2013). Reasoning about constitutive norms in BDI agents. Logic Journal of the IGPL, 22(1), 66\u201393.","journal-title":"Logic Journal of the IGPL"},{"issue":"2","key":"9363_CR15","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/s10458-015-9321-5","volume":"31","author":"M Dastani","year":"2017","unstructured":"Dastani, M., van der Torre, L., & Yorke-Smith, N. (2017). Commitments and interaction norms in organisations. Autonomous Agents and Multi-Agent Systems, 31(2), 207\u2013249.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"9363_CR16","unstructured":"Dignum, F. (2002). Abstract norms and electronic institutions. In International workshop on regulated agent-based social systems: Theories and applications (RASTA\u201902) (pp. 93\u2013104)."},{"key":"9363_CR17","doi-asserted-by":"crossref","unstructured":"Dignum, F., Weigand, H., Verharen, E. (1996) Meeting the deadline: On the formal specication of temporal deontic constraints. In International symposium on methodologies for intelligent systems (pp. 243\u2013252).","DOI":"10.1007\/3-540-61286-6_149"},{"key":"9363_CR18","first-page":"181","volume-title":"Programming multi-agent systems","author":"V Dignum","year":"2004","unstructured":"Dignum, V., V\u00e1zquez-Salceda, J., & Dignum, F. (2004). OMNI: Introducing social structure, norms and ontologies into agent organizations. Programming multi-agent systems (pp. 181\u2013198). Berlin Heidelberg: Springer."},{"key":"9363_CR19","doi-asserted-by":"crossref","first-page":"3146","DOI":"10.1016\/j.artint.2012.03.004","volume":"186","author":"M D\u2019Inverno","year":"2012","unstructured":"D\u2019Inverno, M., Luck, M., Noriega, P., Rodriguez-Aguilar, J., & Sierra, C. (2012). Communicating open systems. Artificial Intelligence, 186, 3146\u20133150.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"9363_CR20","first-page":"99","volume":"12","author":"T Eiter","year":"1999","unstructured":"Eiter, T., Faber, W., Leone, N., & Pfeifer, G. (1999). The diagnosis frontend of the dlv system. AI Communications, 12(1), 99\u2013111.","journal-title":"AI Communications"},{"key":"9363_CR21","unstructured":"European Court Reports (2014). C-293\/12 Digital Rights Ireland Ltd v Minister for Communications, Marine and Natural Resources; Minister for Justice, Equality and Law Reform; Commissioner of the Garda S\u00edoch\u00e1na; Ireland; and The Attorney General and Others. C-594\/12 Digital Rights Irela."},{"key":"9363_CR22","unstructured":"European Parliament and the Council of the European Union (2006). Directive 2006\/24\/EC of the European Parliament and of the Council of 15 March 2006 on the retention of data generated or processed in connection with the provision of publicly available electronic communications services or of public communications network."},{"key":"9363_CR23","unstructured":"European Union (2000). Charter of fundamental rights of the European Union 2000\/C 364\/01. Official Journal of the European Communities."},{"key":"9363_CR24","unstructured":"Fichte, J. K., Hecher, M., Morak, M., Woltran, S. (2016). Counting answer sets via dynamic programming. In Informal proceedings of the first workshop on trends and applications of answer set programming, TAASP 2016, Klagenfurt, Austria, September 26, 2016."},{"key":"9363_CR25","doi-asserted-by":"crossref","unstructured":"Fornara, N. (2011) Specifying and monitoring obligations in open multiagent systems using semantic web technology. Semantic agent systems (pp. 25\u201345).","DOI":"10.1007\/978-3-642-18308-9_2"},{"issue":"4","key":"9363_CR26","doi-asserted-by":"crossref","first-page":"341","DOI":"10.3233\/AIC-2010-0478","volume":"23","author":"N Fornara","year":"2010","unstructured":"Fornara, N., & Colombetti, M. (2010). Representation and monitoring of commitments and norms using OWL. AI Communications, 23(4), 341\u2013356.","journal-title":"AI Communications"},{"key":"9363_CR27","doi-asserted-by":"crossref","unstructured":"Fornara, N., Okouya, D., Colombetti, M. (2012). Using OWL 2 DL for expressing ACL Content and Semantics. In European workshop on multi-agent systems (pp. 97\u2013113).","DOI":"10.1007\/978-3-642-34799-3_7"},{"key":"9363_CR28","unstructured":"Gabbay, D., Horty, J., Parent, X., van\u00a0der Meyden, R., van\u00a0der Torre, L. (eds). (2013). Handbook of Deontic logic and normative systems, Vol. 1."},{"key":"9363_CR29","unstructured":"Garc\u00eda-Camino, A., Noriega, P., Rodr\u00edguez-Aguilar. J.-A. (2006). An algorithm for conflict resolution in regulated compound activities. In Seventh annual international workshop engineering societies in the agents world (pp. 193\u2013208)."},{"issue":"2","key":"9363_CR30","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/AIC-2011-0491","volume":"24","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Kaufmann, B., & Kaminski, R. (2011). Potassco: The Potsdam answer set solving collection. AI Communications, 24(2), 107\u2013124.","journal-title":"AI Communications"},{"key":"9363_CR31","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/S1574-6526(07)03007-6","volume":"3","author":"M Gelfond","year":"2008","unstructured":"Gelfond, M. (2008). Answer Sets. Foundations of Artificial Intelligence, 3, 285\u2013316.","journal-title":"Foundations of Artificial Intelligence"},{"key":"9363_CR32","unstructured":"Gelfond, M., Lifschitz, V. (1988) The stable model semantics for logic programming. In Logic programming: Proceedings of the fifth international conference and symposium (pp. 1070\u20131080)."},{"key":"9363_CR33","doi-asserted-by":"crossref","unstructured":"Governatori, G., Hulstijn, J., Rotolo, A. (2007). Characterising deadlines in temporal modal defeasible logic. In Proceedings of the 20th Australian joint conference on artificial intelligence (pp. 486\u2013496).","DOI":"10.1007\/978-3-540-76928-6_50"},{"key":"9363_CR34","unstructured":"Governatori, G., Palmirani, M., Riveret, R., Rotolo, A., Sartor, G. (2005). Norm modifications in defeasible logic. In Legal knowledge and information systems (JURIX 2005) (pp. 13\u201322). IOS Press."},{"key":"9363_CR35","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. Logic Journal of IGPL, 18, 157\u2013194.","journal-title":"Logic Journal of IGPL"},{"key":"9363_CR36","unstructured":"Governatori, G., Rotolo, A., & Sartor, G. (2005). Temporalised normative positions in defeasible logic. In Proceedings of the 10th international conference on artificial intelligence and law (pp. 25\u201334). New York: ACM Press."},{"key":"9363_CR37","doi-asserted-by":"crossref","unstructured":"Grossi, D. (2008). Pushing Anderson\u2019s envelope: The modal logic of ascription. In 9th International conference on deontic logic in computer science (DEON 2008) (pp. 263\u2013277).","DOI":"10.1007\/978-3-540-70525-3_20"},{"issue":"2","key":"9363_CR38","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/j.jal.2010.03.002","volume":"9","author":"D Grossi","year":"2011","unstructured":"Grossi, D. (2011). Norms as ascriptions of violations: An analysis in modal logic. Journal of Applied Logic, 9(2), 95\u2013112.","journal-title":"Journal of Applied Logic"},{"key":"9363_CR39","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/s10588-006-9546-6","volume":"12","author":"D Grossi","year":"2006","unstructured":"Grossi, D., Aldewereld, H., V\u00e1zquez-Salceda, J., & Dignum, F. (2006). Ontological aspects of the implementation of norms in agent-based electronic institutions. Computational and Mathematical Organization Theory, 12, 251\u2013275.","journal-title":"Computational and Mathematical Organization Theory"},{"key":"9363_CR40","doi-asserted-by":"crossref","unstructured":"Grossi, D., Meyer, J.-J., Dignum, F. (2005).Modal logic investigations in the semantics of counts-as. In Proceedings of the 10th international conference on artificial intelligence and law (ICAIL \u201905) (pp. 1\u201319). ACM.","DOI":"10.1145\/1165485.1165487"},{"key":"9363_CR41","doi-asserted-by":"crossref","unstructured":"Grossi, D., Meyer, J.-J.\u00a0C., Dignum, F. (2006) Counts-as: Classification or constitution? An answer using modal logic. Lecture notes in computer science (including subseries Lecture notes in artificial intelligence and Lecture notes in bioinformatics), 4048 LNAI:115\u2013130.","DOI":"10.1007\/11786849_11"},{"issue":"2","key":"9363_CR42","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1016\/j.jal.2007.06.008","volume":"6","author":"D Grossi","year":"2008","unstructured":"Grossi, D., Meyer, J. J. C., & Dignum, F. (2008). The many faces of counts-as: A formal analysis of constitutive rules. Journal of Applied Logic, 6(2), 192\u2013217.","journal-title":"Journal of Applied Logic"},{"key":"9363_CR43","doi-asserted-by":"crossref","unstructured":"G\u00fcnay, A., Yolum, P. (2012) Detecting conflicts in commitments. Declarative agent languages and technologies IX (pp. 51\u201366).","DOI":"10.1007\/978-3-642-29113-5_5"},{"key":"9363_CR44","volume-title":"The concept of law","author":"HLA Hart","year":"1961","unstructured":"Hart, H. L. A. (1961). The concept of law. Oxford: Clarendon Press."},{"issue":"2","key":"9363_CR45","first-page":"233","volume":"97","author":"L Hooghe","year":"2003","unstructured":"Hooghe, L., & Marks, G. (2003). Unraveling the central state, but how? Types of multi-level governance. American Political Science Review, 97(2), 233\u2013243.","journal-title":"American Political Science Review"},{"key":"9363_CR46","unstructured":"Jiang, J. (2015). Organizational compliance: An agent-based model for designing and evaluating organizational interactions. PhD thesis, TU Delft, Delft University of Technology."},{"issue":"3","key":"9363_CR47","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1093\/jigpal\/4.3.427","volume":"4","author":"AJI Jones","year":"1996","unstructured":"Jones, A. J. I., & Sergot, M. (1996). A formal characterisation of institutionalised power. Journal of IGPL, 4(3), 427\u2013443.","journal-title":"Journal of IGPL"},{"key":"9363_CR48","unstructured":"King, T.\u00a0C. (2016). Governing governance: A formal framework for analysing institutional design and enactment governance. PhD thesis, Delft University of Technology."},{"key":"9363_CR49","unstructured":"King, T. C., Dignum, V., Jonker, C. M. (2016). When do rule changes count-as legal rule changes? In Proceedings of the 22nd European conference on artificial intelligence (ECAI 2016). Frontiers in artificial intelligence and applications (Vol. 285. pp. 3\u201311)."},{"key":"9363_CR50","unstructured":"King, T.\u00a0C., Li, T., De Vos, M., Dignum, V., Jonker, C.\u00a0M., Padget, J., Riemsdijk, M.\u00a0B.\u00a0V. (2015). A framework for institutions governing institutions. In Proceedings of the 2015 international conference on autonomous agents and multiagent systems (AAMAS 2015) (pp. 473\u2013481), Istanbul, Turkey. International Foundation for Autonomous Agents and Multiagent Systems."},{"key":"9363_CR51","unstructured":"King, T. C., Li, T., Vos, M. D., Jonker, C. M., Padget, J., Riemsdijk, M. B. V., et al. (2016). International Workshops, COIN@ AAMAS, Istanbul, Turkey, May 4, 2015, COIN@ IJCAI, Buenos Aires, Argentina, July 26, 2015. Revised selected papers, 9628, (191\u2013208)"},{"key":"9363_CR52","unstructured":"King, T.\u00a0C., Riemsdijk, M.\u00a0B.\u00a0V., Dignum, V., Jonker, C.\u00a0M. (2015). Supporting request acceptance with use policies. In Coordination, organizations, institutions, and norms in agent systems X: COIN 2014 international workshops, COIN@ AAMAS, Paris, France, May 6, 2014, COIN@ PRICAI, Gold Coast, QLD, Australia, December 4, 2014, Revised Selected Papers (pp. 114 \u2013 131). Springer."},{"issue":"1","key":"9363_CR53","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 Generation Computing, 4(1), 67\u201395.","journal-title":"New Generation Computing"},{"key":"9363_CR54","unstructured":"Li, T. (2014) Normative conflict detection and resolution in cooperating institutions. PhD thesis, University of Bath."},{"key":"9363_CR55","unstructured":"Li, T., Balke, T., De Vos, M., Padget, J., Satoh, K. (2013). Legal conflict detection in interacting legal systems. In 1st International Jurix doctoral consortium and poster sessions, JURIX-DoCoPe 2013, in Conjunction with the 26th International conference on legal knowledge and information systems, JURIX 2013."},{"key":"9363_CR56","doi-asserted-by":"crossref","unstructured":"Li, T., Balke, T., De Vos, M., Satoh, K., Padget, J. (2013). Detecting conflicts in legal systems. In Y. Motomura, A. Butler, D. Bekki (Eds.), New frontiers in artificial intelligence. JSAI-isAI 2012. Lecture notes in computer science, (Vol. 7856, pp. 174\u2013189). Springer, Berlin, Heidelberg.","DOI":"10.1007\/978-3-642-39931-2_13"},{"key":"9363_CR57","unstructured":"Lopes Cardoso, H., Oliveira, E. (2008). Norm defeasibility in an institutional normative framework. In European conference on AI (ECAI \u201908) (pp. 468\u2013473)."},{"key":"9363_CR58","doi-asserted-by":"crossref","unstructured":"Lopes Cardoso, H., & Oliveira, E. (2009). A context-based institutional normative environment. Coordination, organizations, institutions and norms in agent systems IV (pp. 140\u2013155).","DOI":"10.1007\/978-3-642-00443-8_10"},{"key":"9363_CR59","doi-asserted-by":"crossref","unstructured":"Lopes Cardoso, H., Oliveira, E. (2010). Directed deadline obligations in agent-based business contracts. In Coordination, organization, institutions and norms (COIN@AAMAS) (Vol. 6069, LNAI, pp. 225\u2013240).","DOI":"10.1007\/978-3-642-14962-7_15"},{"key":"9363_CR60","first-page":"77","volume-title":"International workshop on declarative agent languages and technologies","author":"H Lopes Cardoso","year":"2010","unstructured":"Lopes Cardoso, H., & Oliveira, E. (2010). Monitoring directed obligations with flexible deadlines: A rule-based approach. International workshop on declarative agent languages and technologies (pp. 77\u201392). Hungary: Budapest."},{"key":"9363_CR61","unstructured":"L\u00f3pez, F.\u00a0L.\u00a0Y., Luck, M. (2003). Modelling Norms for autonomous agents. In Proceedings of The fourth Mexican conference on computer science (pp. 238\u2013245). IEEE Computer Society."},{"issue":"2\u20133","key":"9363_CR62","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/s10588-006-9545-7","volume":"12","author":"FLy L\u00f3pez","year":"2006","unstructured":"L\u00f3pez, F Ly, Luck, M., & D\u2019Inverno, M. (2006). A normative framework for agent-based systems. Computational and Mathematical Organization Theory, 12(2\u20133), 227\u2013250.","journal-title":"Computational and Mathematical Organization Theory"},{"key":"9363_CR63","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/978-94-017-0395-6_12","volume":"17","author":"D Makinson","year":"2003","unstructured":"Makinson, D., & van der Torre, L. (2003). What is input\/output logic? Trends in Logic, 17, 163\u2013174.","journal-title":"Trends in Logic"},{"key":"9363_CR64","unstructured":"Nute, D. (1987). Defeasible logic. In Dov M. Gabbay, C. J. Hogger, J. A. Robinson (Eds.), Handbook of logic in artificial intelligence and logic programming (Vol. 3). New York: Oxford University Press."},{"key":"9363_CR65","doi-asserted-by":"crossref","unstructured":"Pieters, W., Padget, J., Dechesne, F. (2013). Obligations to enforce prohibitions: On the adequacy of security policies. In Proceedings of the 6th international conference on security of information and networks (pp. 54\u201361).","DOI":"10.1145\/2523514.2523526"},{"key":"9363_CR66","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.jisa.2014.07.003","volume":"22","author":"W Pieters","year":"2015","unstructured":"Pieters, W., Padget, J., Dechesne, F., Dignum, V., & Aldewereld, H. (2015). Effectiveness of qualitative and quantitative security obligations. Journal of Information Security and Applications, 22, 3\u201316.","journal-title":"Journal of Information Security and Applications"},{"issue":"3","key":"9363_CR67","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/s10506-015-9173-y","volume":"23","author":"J Pitt","year":"2015","unstructured":"Pitt, J., & Artikis, A. (2015). The open agent society: Retrospective and prospective views. Artificial Intelligence and Law, 23(3), 241\u2013270.","journal-title":"Artificial Intelligence and Law"},{"key":"9363_CR68","doi-asserted-by":"crossref","unstructured":"Pitt, J., Diaconescu, A. (2015). Structure and governance of communities for the digital society. In IEEE International conference on autonomic computing (ICAC) (pp. 279\u2013284).","DOI":"10.1109\/ICAC.2015.62"},{"key":"9363_CR69","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. Artificial Intelligence and Law, 4, 331\u2013368.","journal-title":"Artificial Intelligence and Law"},{"key":"9363_CR70","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139173438","volume-title":"Speech acts: An essay in the philosophy of language","author":"JR Searle","year":"1969","unstructured":"Searle, J. R. (1969). Speech acts: An essay in the philosophy of language. Cambridge: Cambridge University Press."},{"key":"9363_CR71","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139173452","volume-title":"Intentionality: An essay in the philosophy of mind","author":"JR Searle","year":"1983","unstructured":"Searle, J. R. (1983). Intentionality: An essay in the philosophy of mind. Cambridge: Cambridge University Press."},{"key":"9363_CR72","volume-title":"The construction of social reality","author":"JR Searle","year":"1995","unstructured":"Searle, J. R. (1995). The construction of social reality. New York: The Free Press."},{"key":"9363_CR73","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S1744137405000020","volume":"1","author":"JR Searle","year":"2005","unstructured":"Searle, J. R. (2005). What is an institution? Journal of Institutional Economics, 1, 1\u201322.","journal-title":"Journal of Institutional Economics"},{"key":"9363_CR74","unstructured":"UK (2009). The data retention (EC Directive) Regulations 2009, No. 859."},{"key":"9363_CR75","unstructured":"van\u00a0der Torre, L., Tan, Y. (1988). The temporal analysis of Chisholm\u2019s paradox. In Proceedings of the fifteenth national conference on artificial intelligence (AAAI\u201998) (pp. 650\u2013655)."},{"issue":"237","key":"9363_CR76","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"G Wright von","year":"1951","unstructured":"von Wright, G. (1951). Deontic logic. Mind, 60(237), 1\u201315.","journal-title":"Mind"},{"issue":"1\u20133","key":"9363_CR77","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. Annals of Mathematics and Artificial Intelligence, 42(1\u20133), 227\u2013253.","journal-title":"Annals of Mathematics and Artificial Intelligence"}],"container-title":["Autonomous Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10458-017-9363-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-017-9363-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-017-9363-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,5]],"date-time":"2020-10-05T02:32:37Z","timestamp":1601865157000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10458-017-9363-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,6]]},"references-count":77,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2017,11]]}},"alternative-id":["9363"],"URL":"https:\/\/doi.org\/10.1007\/s10458-017-9363-y","relation":{},"ISSN":["1387-2532","1573-7454"],"issn-type":[{"value":"1387-2532","type":"print"},{"value":"1573-7454","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,4,6]]}}}