{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T00:56:14Z","timestamp":1780707374794,"version":"3.54.1"},"reference-count":83,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2019,11,19]],"date-time":"2019-11-19T00:00:00Z","timestamp":1574121600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,11,19]],"date-time":"2019-11-19T00:00:00Z","timestamp":1574121600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100010665","name":"H2020 Marie Sk\u0142odowska-Curie Actions","doi-asserted-by":"publisher","award":["690974"],"award-info":[{"award-number":["690974"]}],"id":[{"id":"10.13039\/100010665","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Fonds De La Recherche Scientifique - FNR","award":["CORE PROJECT DAPRECO"],"award-info":[{"award-number":["CORE PROJECT DAPRECO"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2020,12]]},"DOI":"10.1007\/s10849-019-09309-z","type":"journal-article","created":{"date-parts":[[2019,11,19]],"date-time":"2019-11-19T17:02:40Z","timestamp":1574182960000},"page":"401-449","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":40,"title":["Formalizing GDPR Provisions in Reified I\/O Logic: The DAPRECO Knowledge Base"],"prefix":"10.1007","volume":"29","author":[{"given":"Livio","family":"Robaldo","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cesare","family":"Bartolini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Monica","family":"Palmirani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Arianna","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michele","family":"Martoni","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gabriele","family":"Lenzini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,11,19]]},"reference":[{"key":"9309_CR1","doi-asserted-by":"crossref","unstructured":"Ajani, G., Boella, G., Di Caro, L., Robaldo, L., Humphreys, L., Praduroux, S., et al. (2017). The European legal taxonomy syllabus: A multi-lingual, multi-level ontology framework to untangle the Web of European legal terminology. Applied Ontology, 2(4).","DOI":"10.3233\/AO-170174"},{"key":"9309_CR2","unstructured":"Amgoud, L., & Nouioua, F. (2015). Undercutting in argumentation systems. In C. Beierle & A. Dekhtyar, (Eds.), Scalable uncertainty management - 9th international conference, SUM 2015, Qu\u00e9bec City, QC, Canada, September 16\u201318, 2015. Proceedings, volume 9310 of Lecture Notes in Computer Science (pp. 267\u2013281). Berlin: Springer."},{"issue":"2","key":"9309_CR3","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":"9309_CR4","first-page":"371","volume":"37","author":"DW Arner","year":"2016","unstructured":"Arner, D. W., Barberis, J., & Buckey, R. P. (2016). FinTech, RegTech, and the reconceptualization of financial regulation. Northwestern Journal of International Law & Business, 37, 371\u2013414.","journal-title":"Northwestern Journal of International Law & Business"},{"key":"9309_CR5","first-page":"13","volume-title":"LegalRuleML: From metamodel to use cases","author":"T Athan","year":"2013","unstructured":"Athan, T., Boley, H., Governatori, G., Palmirani, M., Paschke, A., & Wyner, A. (2013). LegalRuleML: From metamodel to use cases (pp. 13\u201318). Berlin: Springer."},{"key":"9309_CR6","unstructured":"Athan, T., Governatori, G., Palmirani, M., Paschke, A., & Wyner, A.\u00a0Z. (2014). Legal interpretations in legalruleml. In Semantic Web for Law 2014 workshop, collocated at the 27th international conference on legal knowledge and information systems (JURIX 2014), CEUR workshop proceedings."},{"key":"9309_CR7","first-page":"151","volume-title":"LegalRuleML: Design principles and foundations","author":"T Athan","year":"2015","unstructured":"Athan, T., Governatori, G., Palmirani, M., Paschke, A., & Wyner, A. (2015). LegalRuleML: Design principles and foundations (pp. 151\u2013188). Berlin: Springer."},{"key":"9309_CR8","first-page":"63","volume-title":"Radical pragmatics","author":"E Bach","year":"1981","unstructured":"Bach, E. (1981). On time, tense, and aspect: An essay in English metaphysics. In P. Cole (Ed.), Radical pragmatics (pp. 63\u201381). New York: Academic Press."},{"key":"9309_CR9","unstructured":"Bandeira, J., Bittencourt, I. I., Espinheira, P., & Isotani, S. (2016). FOCA: A methodology for ontology evaluation. https:\/\/arxiv.org\/abs\/1612.03353."},{"key":"9309_CR10","unstructured":"Bartolini, C., Giurgiu, A., Lenzini, G., & Robaldo, L.. (2016). Towards legal compliance by correlating standards and laws with a semi-automated methodology. In BNCAI, volume 765 of Communications in Computer and Information Science (pp. 47\u201362). Berlin: Springer."},{"issue":"1\u20132","key":"9309_CR11","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/j.artint.2004.07.002","volume":"160","author":"A Bochman","year":"2004","unstructured":"Bochman, A. (2004). A causal approach to nonmonotonic reasoning. Artificial Intelligence, 160(1\u20132), 105\u2013143.","journal-title":"Artificial Intelligence"},{"key":"9309_CR12","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/s10506-016-9184-3","volume":"24","author":"G Boella","year":"2016","unstructured":"Boella, G., Di Caro, L., Humphreys, L., Robaldo, L., Rossi, R., & van der Torre, L. (2016). Eunomos, a legal document and knowledge management system for the web to provide relevant, reliable and up-to-date information on the law. Artificial Intelligence and Law, 24, 245.","journal-title":"Artificial Intelligence and Law"},{"key":"9309_CR13","unstructured":"Boella, G., di Caro, L., Humphreys, L., Robaldo, L., & van der Torre, L. (2012). NLP challenges for Eunomos, a tool to build and manage legal knowledge. In Proceeding of \u201cLexical Resources and Evaluation Conference\u201d (LREC2012). Istanbul, Turchia. https:\/\/www.aclweb.org\/anthology\/L12-1617\/."},{"key":"9309_CR14","first-page":"218","volume-title":"Semantic relation extraction from legislative text using generalized syntactic dependencies and support vector machines","author":"G Boella","year":"2013","unstructured":"Boella, G., Di Caro, L., Rispoli, D., & Robaldo, L. (2013a). Semantic relation extraction from legislative text using generalized syntactic dependencies and support vector machines (pp. 218\u2013225). Berlin: Springer."},{"key":"9309_CR15","doi-asserted-by":"crossref","unstructured":"Boella, G., Di Caro, L., Rispoli, D., & Robaldo, L. (2013b) A system for classifying multi-label text into Eurovoc. In Proceedings of the fourteenth international conference on artificial intelligence and law, ICAIL \u201913 (pp. 239\u2013240). ACM, New York, NY, USA.","DOI":"10.1145\/2514601.2514635"},{"key":"9309_CR16","first-page":"162","volume-title":"Lex Minus Dixit Quam Voluit, Lex Magis Dixit Quam Voluit: A formal study on legal compliance and interpretation","author":"G Boella","year":"2010","unstructured":"Boella, G., Governatori, G., Rotolo, A., & van der Torre, L. (2010). Lex Minus Dixit Quam Voluit, Lex Magis Dixit Quam Voluit: A formal study on legal compliance and interpretation (pp. 162\u2013183). Berlin: Springer."},{"key":"9309_CR17","unstructured":"Boella, G., & van der Torre, L. W. N. (2004a). Fulfilling or violating obligations in normative multiagent systems. IEEE\/WIC\/ACM international conference on intelligent agent technology (IAT 2004) (pp. 483\u2013486), Beijing, China."},{"key":"9309_CR18","unstructured":"Boella, G., & van der Torre, L. W. N. (2004b) Regulative and constitutive norms in normative multiagent systems. In Principles of knowledge representation and reasoning: Proceedings of the ninth international conference (KR2004) (pp. 255\u2013266)."},{"issue":"1","key":"9309_CR19","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1613\/jair.2763","volume":"35","author":"PA Bonatti","year":"2009","unstructured":"Bonatti, P. A., Lutz, C., & Wolter, F. (2009). The complexity of circumscription in description logic. Journal of Artificial Intelligence Research, 35(1), 717\u2013773.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"9309_CR20","unstructured":"Brank, J., Grobelnik, M., & Mladeni\u0107, D. (2005). A survey of ontology evaluation techniques. In Proceedings of 8th international multi-conference information society."},{"key":"9309_CR21","first-page":"165","volume":"23","author":"B Brozek","year":"2014","unstructured":"Brozek, B. (2014). Law and defeasibility. Revus, 23, 165\u2013170.","journal-title":"Revus"},{"issue":"2","key":"9309_CR22","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/S0022-0000(05)80004-2","volume":"48","author":"M Cadoli","year":"1994","unstructured":"Cadoli, M., & Lenzerini, M. (1994). The complexity of propositional closed world reasoning and circumscription. Journal of Computer and System Sciences, 48(2), 255\u2013310.","journal-title":"Journal of Computer and System Sciences"},{"key":"9309_CR23","unstructured":"Casellas, N. (2009). Ontology evaluation through usability measures. In R. Meersman, P. Herrero, & T. Dillon (Eds.), On the move to meaningful internet systems: OTM 2009 workshops. Berlin: Springer."},{"key":"9309_CR24","doi-asserted-by":"crossref","unstructured":"Casini, G., Meyer, T., Moodley, K., Sattler, U., & Varzinczak, I. (2015). Introducing defeasibility into owl ontologies. In R. Meersman, P. Herrero, & T. Dillon (Eds.), Proceedings of international semantic Web conference (ISWC).","DOI":"10.1007\/978-3-319-25010-6_27"},{"key":"9309_CR25","volume-title":"The logic of decision and action","author":"D Davidson","year":"1967","unstructured":"Davidson, D. (1967). The logical form of action sentences. In N. Rescher (Ed.), The logic of decision and action. Pittsburgh: University of Pittsburgh Press."},{"key":"9309_CR26","doi-asserted-by":"crossref","unstructured":"Dimyadi, J., Governatori, G., & Amor, R.. (2017). Evaluating legaldocml and legalruleml as a standard for sharing normative information in the aec\/fm domain. In Proceedings of joint conference on computing in construction (JC3), Vol. 1, Heraklion, Greece.","DOI":"10.24928\/JC3-2017\/0012"},{"issue":"3","key":"9309_CR27","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1007\/s11229-005-5516-7","volume":"150","author":"A Galton","year":"2006","unstructured":"Galton, A. (2006). Operators vs. arguments: The ins and outs of reification. Synthese, 150(3), 415\u2013441.","journal-title":"Synthese"},{"key":"9309_CR28","doi-asserted-by":"crossref","unstructured":"Governatori, G. (2015). Thou shalt is not you will. In Proceedings of the 15th international conference on artificial intelligence and law, ICAIL 2015 (pp. 63\u201368), ACM, New York, NY, USA.","DOI":"10.1145\/2746090.2746105"},{"key":"9309_CR29","doi-asserted-by":"crossref","unstructured":"Governatori, G., & Rotolo, A. (2006) Logic of violation: A Gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic, (426).","DOI":"10.26686\/ajl.v4i0.1780"},{"issue":"3","key":"9309_CR30","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1093\/jigpal\/jzp006","volume":"17","author":"G Governatori","year":"2009","unstructured":"Governatori, G., Padmanabhan, V., Rotolo, A., & Sattar, A. (2009). A defeasible logic for modelling policy-based intentions and motivational attitudes. Logic Journal of the IGPL, 17(3), 227.","journal-title":"Logic Journal of the IGPL"},{"issue":"42","key":"9309_CR31","doi-asserted-by":"crossref","first-page":"799","DOI":"10.1007\/s10992-013-9295-1","volume":"6","author":"G Governatori","year":"2013","unstructured":"Governatori, G., Olivieri, F., Rotolo, A., & Scannapieco, S. (2013). Computing strong and weak permissions in defeasible logic. Journal of Philosophical Logic, 6(42), 799\u2013829.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"9309_CR32","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1007\/s10458-008-9030-4","volume":"17","author":"G Governatori","year":"2008","unstructured":"Governatori, G., & Rotolo, A. (2008). Bio logical agents: Norms, beliefs, intentions in defeasible logic. Autonomous Agents and Multi-Agent Systems, 17(1), 36\u201369.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"1","key":"9309_CR33","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/s10458-007-9016-7","volume":"17","author":"J Hansen","year":"2008","unstructured":"Hansen, J. (2008). Prioritized conditional imperatives: Problems and a new proposal. Autonomous Agents and Multi-Agent Systems, 17(1), 11\u201335.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"9309_CR34","unstructured":"Hobbs, J. R. (1998). The logical notation: Ontological promiscuity. In Chapter 2 of discourse and inference. Available at http:\/\/www.isi.edu\/~hobbs\/disinf-tc.html."},{"key":"9309_CR35","first-page":"302","volume-title":"The Language of word meaning","author":"JR Hobbs","year":"2001","unstructured":"Hobbs, J. R. (2001). Syntax and metonymy. In P. Bouillon & F. Busa (Eds.), The Language of word meaning (pp. 302\u2013361). Cambridge: Cambridge University Press."},{"key":"9309_CR36","volume-title":"A formal theory of commonsense psychology, how people think people think","author":"JR Hobbs","year":"2017","unstructured":"Hobbs, J. R., & Gordon, A. S. (2017). A formal theory of commonsense psychology, how people think people think. Cambridge: Cambridge University Press."},{"key":"9309_CR37","doi-asserted-by":"crossref","DOI":"10.1093\/0195134613.001.0001","volume-title":"Agency and deontic logic","author":"J Horty","year":"2001","unstructured":"Horty, J. (2001). Agency and deontic logic. New York: Oxford University Press."},{"key":"9309_CR38","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199744077.001.0001","volume-title":"Reasons as defaults","author":"J Horty","year":"2012","unstructured":"Horty, J. (2012). Reasons as defaults. Oxford: Oxford University Press."},{"key":"9309_CR39","unstructured":"Idelberger, F., Governatori, G., Riveret, R., & Sartor, G. (2016). Evaluation of logic-based smart contracts for blockchain systems. In RuleML, volume 9718 of Lecture Notes in Computer Science (pp. 167\u2013183). Berlin: Springer."},{"key":"9309_CR40","unstructured":"J\u00f6rg, H. (2014). Reasoning about permission and obligation. In S.\u00a0O. Hansson (Ed.), David Makinson on classical methods for non-classical problems (Vol. 3, pp. 287\u2013333). Outstanding Contributions to Logic. Berlin: Springer."},{"key":"9309_CR41","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1007\/BF00666538","volume":"7","author":"J J\u00f8rgensen","year":"1937","unstructured":"J\u00f8rgensen, J. (1937). Imperatives and logic. Erkenntnis, 7, 288\u2013296.","journal-title":"Erkenntnis"},{"key":"9309_CR42","unstructured":"MacCormick, N., & Summers, R. S. (1991). Interpreting statutes: A comparative study. Applied legal philosophy. Hanover: Dartmouth."},{"key":"9309_CR43","doi-asserted-by":"crossref","unstructured":"Makinson, D. & van\u00a0der Torre, L. (2003b). What is input\/output logic? In B.\u00a0Lowe, W.\u00a0Malzkorn, & T.\u00a0Rasch (Eds.), Foundations of the formal sciences II: Applications of mathematical logic in philosophy and linguistics (pp. 163\u2013174).","DOI":"10.1007\/978-94-017-0395-6_12"},{"issue":"4","key":"9309_CR44","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1023\/A:1004748624537","volume":"29","author":"D Makinson","year":"2000","unstructured":"Makinson, D., & van der Torre, L. W. N. (2000). Input\/output logics. Journal of Philosophical Logic, 29(4), 383\u2013408.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"9309_CR45","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1023\/A:1017599526096","volume":"30","author":"D Makinson","year":"2001","unstructured":"Makinson, D., & van der Torre, L. (2001). Constraints for input\/output logics. Journal of Philosophical Logic, 30(2), 155\u2013185.","journal-title":"Journal of Philosophical Logic"},{"key":"9309_CR46","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1023\/A:1024806529939","volume":"32","author":"D Makinson","year":"2003","unstructured":"Makinson, D., & van der Torre, L. (2003a). Permission from an input\/output perspective. Journal of Philosophical Logic, 32, 391\u2013416.","journal-title":"Journal of Philosophical Logic"},{"key":"9309_CR47","unstructured":"Malerba, A. (2017). Interpretive interactions among Legal systems and argumentation schemes. Ph.D. thesis, Joint International Doctoral (Ph.D.) Degree in Law, Science and Technology (LAST-JD)."},{"key":"9309_CR48","doi-asserted-by":"crossref","unstructured":"Maranh\u00e3o, J.\u00a0S.\u00a0A. (2017). A logical architecture for dynamic legal interpretation. In Proceedings of the 16th Edition of the international conference on articial intelligence and law, ICAIL \u201917 (pp. 129\u2013138). ACM, New York, NY, USA.","DOI":"10.1145\/3086512.3086525"},{"key":"9309_CR49","unstructured":"Maranh\u00e3o, J., & de\u00a0Souza, E.\u00a0G.. (2018) Contraction of combined normative sets. In J. M. Broersen, C. Condoravdi, N. Shyam, & G. Pigozzi (Eds.), Deontic logic and normative systems - 14th international conference, DEON 2018, Utrecht, The Netherlands, July 3\u20136, 2018 (pp. 247\u2013261). College Publications."},{"key":"9309_CR50","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J McCarthy","year":"1980","unstructured":"McCarthy, J. (1980). Circumscription: A form of nonmonotonic reasoning. Artificial Intelligence, 13, 27\u201339.","journal-title":"Artificial Intelligence"},{"key":"9309_CR51","unstructured":"Nute, D. (1994b). Defeasible prolog. In AAAI technical report FS-93-0. Oxford: Oxford University Press. Available at https:\/\/www.aaai.org\/Papers\/Symposia\/Fall\/1993\/FS-93-01\/FS93-01-015.pdf."},{"key":"9309_CR52","volume-title":"Handbook of logic in artificial intelligence and logic programming","author":"D Nute","year":"1994","unstructured":"Nute, D. (1994a). Defeasible logic. In D. Gabbay, C. Hogger, & J. Robinson (Eds.), Handbook of logic in artificial intelligence and logic programming. Oxford: Oxford University Press."},{"key":"9309_CR53","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-8851-5","volume-title":"Defeasible deontic logic","author":"D Nute","year":"1997","unstructured":"Nute, D. (1997). Defeasible deontic logic. Dordrecht: Kluwer."},{"key":"9309_CR54","unstructured":"Palmirani, M., Martoni, M., Rossi, A., Bartolini, C., & Robaldo, L. (2018a). Legal ontology for modelling GDPR concepts and norms. In Legal knowledge and information systems - JURIX 2018: The thirty-first annual conference, Groningen, The Netherlands, 12\u201314 December 2018."},{"key":"9309_CR55","doi-asserted-by":"crossref","unstructured":"Palmirani, M., Martoni, M., Rossi, A., Bartolini, C., & Robaldo, L. (2018b). Pronto: Privacy ontology for legal compliance. In Proceedings of the 18th European conference on digital government (ECDG), October (Forthcoming).","DOI":"10.1007\/978-3-319-98349-3_11"},{"key":"9309_CR56","doi-asserted-by":"crossref","unstructured":"Palmirani, M., Martoni, M., Rossi, A., Bartolini, C., & Robaldo, L. (2018c). Pronto: Privacy ontology for legal reasoning. In Proceedings of the 7th international conference on electronic government and the information systems perspective (EGOVIS): Technology-enabled innovation for democracy, government and governance, September (Forthcoming).","DOI":"10.1007\/978-3-319-98349-3_11"},{"key":"9309_CR57","doi-asserted-by":"crossref","unstructured":"Palmirani, M., Martoni, M., Rossi, A., Bartolini, C., & Robaldo, L. (2018d). Pronto: Privacy ontology for legal reasoning. In Proceedings of the Internationales Rechtsinformatik Symposion (IRIS), February.","DOI":"10.1007\/978-3-319-98349-3_11"},{"key":"9309_CR58","first-page":"101","volume-title":"Legislative change management with Akoma-Ntoso","author":"M Palmirani","year":"2011","unstructured":"Palmirani, M. (2011). Legislative change management with Akoma-Ntoso (pp. 101\u2013130). Dordrecht: Springer."},{"key":"9309_CR59","first-page":"75","volume-title":"Akoma Ntoso for legal documents","author":"M Palmirani","year":"2011","unstructured":"Palmirani, M., & Vitali, F. (2011). Akoma Ntoso for legal documents (pp. 75\u2013100). Dordrecht: Springer."},{"key":"9309_CR60","unstructured":"Parent, X., & van der Torre, L. (2018). Input\/output logics with a consistency check. In Proceedings of the 14th international conference on deontic logic and normative systems (DEON2018)."},{"key":"9309_CR61","unstructured":"Parent, X., & van\u00a0der Torre, L. (2014a). Aggregative deontic detachment for normative reasoning. In Principles of knowledge representation and reasoning: Proceedings of the fourteenth international conference, KR 2014, Vienna, Austria, July 20\u201324, 2014."},{"key":"9309_CR62","doi-asserted-by":"crossref","unstructured":"Parent, X., & van\u00a0der Torre, L. W.\u00a0N.. (2017). The pragmatic oddity in norm-based deontic logics. In Proceedings of the 16th edition of the international conference on articial intelligence and law, ICAIL 2017, London, United Kingdom, June 12\u201316, 2017 (pp. 169\u2013178).","DOI":"10.1145\/3086512.3086529"},{"issue":"2\u20133","key":"9309_CR63","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/s10506-011-9108-1","volume":"19","author":"X Parent","year":"2011","unstructured":"Parent, X. (2011). Moral particularism in the light of deontic logic. Artificial Intelligence and Law, 19(2\u20133), 75\u201398.","journal-title":"Artificial Intelligence and Law"},{"key":"9309_CR64","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/978-3-319-08615-6_12","volume-title":"Deontic logic and normative systems","author":"X Parent","year":"2014","unstructured":"Parent, X., & van der Torre, L. (2014). Sing and dance!. In F. Cariani, D. Grossi, J. Meheus, & X. Parent (Eds.), Deontic logic and normative systems (pp. 149\u2013165). Berlin: Springer."},{"key":"9309_CR65","doi-asserted-by":"crossref","unstructured":"Pnueli, A. (1977). The temporal logic of programs. In Proceedings of the 18th annual symposium on foundations of computer science, SFCS \u201977 (pp. 46\u201357). IEEE Computer Society.","DOI":"10.1109\/SFCS.1977.32"},{"issue":"3","key":"9309_CR66","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/s10503-005-4418-7","volume":"19","author":"H Prakken","year":"2005","unstructured":"Prakken, H. (2005). Ai & law, logic and argument schemes. Argumentation, 19(3), 303\u2013320.","journal-title":"Argumentation"},{"key":"9309_CR67","doi-asserted-by":"crossref","unstructured":"Ramakrishna, S., Gorski, L., & Paschke, A. (2016). A dialogue between a lawyer and computer scientist: The evaluation of knowledge transformation from legal text to computer-readable format. Applied Artificial Intelligence, 30(3),","DOI":"10.1080\/08839514.2016.1156952"},{"key":"9309_CR68","first-page":"68","volume-title":"Readings in nonmonotonic reasoning","author":"R Reiter","year":"1987","unstructured":"Reiter, R. (1987). A logic for default reasoning. In M. L. Ginsberg (Ed.), Readings in nonmonotonic reasoning (pp. 68\u201393). Los Altos, CA: Kaufmann."},{"key":"9309_CR69","doi-asserted-by":"crossref","unstructured":"Robaldo, L., & Sun, X. (2017). Reified input\/output logic: Combining input\/output logic and reification to represent norms coming from existing legislation. The Journal of Logic and Computation, 7.","DOI":"10.1093\/logcom\/exx009"},{"key":"9309_CR70","doi-asserted-by":"crossref","unstructured":"Robaldo, L., Caselli, T., Russo, I., & Grella, M. (2011). From Italian text to TimeML document via dependency parsing. In Computational Linguistics and intelligent text processing - 12th international conference, CICLing 2011, Tokyo, Japan (pp. 177\u2013187).","DOI":"10.1007\/978-3-642-19437-5_14"},{"issue":"1","key":"9309_CR71","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/s10992-009-9105-y","volume":"39","author":"L Robaldo","year":"2010","unstructured":"Robaldo, L. (2010a). Independent set readings and generalized quantifiers. The Journal of Philosophical Logic, 39(1), 23\u201358.","journal-title":"The Journal of Philosophical Logic"},{"issue":"5","key":"9309_CR72","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1016\/j.jcss.2009.10.009","volume":"76","author":"L Robaldo","year":"2010","unstructured":"Robaldo, L. (2010b). Interpretation and inference with maximal referential terms. The Journal of Computer and System Sciences, 76(5), 373\u2013388.","journal-title":"The Journal of Computer and System Sciences"},{"issue":"2","key":"9309_CR73","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s10849-010-9131-8","volume":"20","author":"L Robaldo","year":"2011","unstructured":"Robaldo, L. (2011). Distributivity, collectivity, and cumulativity in terms of (in)dependence and maximality. The Journal of Logic, Language, and Information, 20(2), 233\u2013271.","journal-title":"The Journal of Logic, Language, and Information"},{"issue":"1","key":"9309_CR74","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/s10849-014-9197-9","volume":"23","author":"L Robaldo","year":"2014","unstructured":"Robaldo, L., Szymanik, J., & Meijering, B. (2014). On the identification of quantifiers\u2019 witness sets: A study of multi-quantifier sentences. The Journal of Logic, Language, and Information, 23(1), 53.","journal-title":"The Journal of Logic, Language, and Information"},{"key":"9309_CR75","doi-asserted-by":"crossref","unstructured":"Rotolo, A., Governatori, G., & Sartor, G. (2015). Deontic defeasible reasoning in legal interpretation: Two options for modelling interpretive arguments. In Proceedings of the 15th international conference on artificial intelligence and law (ICAIL). ACM, New York, NY, USA.","DOI":"10.1145\/2746090.2746100"},{"key":"9309_CR76","unstructured":"Sartor, G. (2005). Legal reasoning: A cognitive approach to the law. Treatise of legal philosophy and general jurisprudence \/ ed.-in-chief Enrico Pattaro. Berlin: Springer."},{"key":"9309_CR77","unstructured":"Satariano, A. (2018). What the G.D.P.R. Europe\u2019s tough new data law, means for you, and for the Internet. Online article, May."},{"key":"9309_CR78","unstructured":"Schwarzentruber, F., & Caroline, S. (2014). STIT is dangerously undecidable. In T. Schaub, G. Friedrich, & B. O\u2019Sullivan (Eds.), ECAI 2014-21st European conference on artificial intelligence, 18\u201322 August 2014, Prague, Czech Republic - Including prestigious applications of intelligent systems (PAIS 2014), volume 263 of Frontiers in artificial intelligence and applications. IOS Press."},{"key":"9309_CR79","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":"9309_CR80","unstructured":"Sun, X., & Robaldo, L. (2015). Logic and games for ethical agents in normative multi-agent systems. In M. Rovatsos, G. A. Vouros, & V. Juli\u00e1n (Eds.), Multi-agent systems and agreement technologies - 13th European conference, EUMAS 2015, and third international conference, at 2015, Athens, Greece, December 17\u201318, 2015, Revised Selected Papers, volume 9571 of Lecture Notes in Computer Science (pp. 367\u2013375). Berlin: Springer."},{"key":"9309_CR81","unstructured":"Sun, X., & van der Torre, L. W. N.. (2014). Combining constitutive and regulative norms in input\/output logic. In F. Cariani, D. Grossi, J. Meheus, & X. Parent (Eds.), Deontic logic and normative systems - 12th international conference, DEON 2014, Ghent, Belgium, July 12\u201315, 2014. Proceedings, volume 8554 of Lecture Notes in Computer Science (pp. 241\u2013257). Berlin: Springer."},{"key":"9309_CR82","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/j.jal.2017.03.002","volume":"25","author":"X Sun","year":"2017","unstructured":"Sun, X., & Robaldo, L. (2017). On the complexity of input\/output logic. The Journal of Applied Logic, 25, 69\u201388.","journal-title":"The Journal of Applied Logic"},{"issue":"1","key":"9309_CR83","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/s10506-016-9179-0","volume":"24","author":"D Walton","year":"2016","unstructured":"Walton, D., Sartor, G., & Macagno, F. (2016). An argumentation framework for contested cases of statutory interpretation. Artifical Intelligence and Law, 24(1), 51\u201391.","journal-title":"Artifical Intelligence and Law"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-019-09309-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-019-09309-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-019-09309-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,6]],"date-time":"2022-10-06T04:33:56Z","timestamp":1665030836000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-019-09309-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11,19]]},"references-count":83,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,12]]}},"alternative-id":["9309"],"URL":"https:\/\/doi.org\/10.1007\/s10849-019-09309-z","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,11,19]]},"assertion":[{"value":"19 November 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}