{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T18:11:23Z","timestamp":1762971083509,"version":"3.45.0"},"publisher-location":"Cham","reference-count":49,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032111074","type":"print"},{"value":"9783032111081","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T00:00:00Z","timestamp":1762905600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"},{"start":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T00:00:00Z","timestamp":1762905600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-11108-1_10","type":"book-chapter","created":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T18:03:14Z","timestamp":1762970594000},"page":"137-152","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Beyond the\u00a0Digital Judge: Legal Reasoning in\u00a0Compliance Checking and\u00a0Compliance Choices"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3800-0906","authenticated-orcid":false,"given":"Marcello","family":"Ceci","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4854-685X","authenticated-orcid":false,"given":"Domenico","family":"Bianculli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,11,12]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Angwin, J., Larson, J., Mattu, S., Kirchner, L.: Machine bias. In: Ethics of Data and Analytics, pp. 254\u2013264. Auerbach Publications (2022)","DOI":"10.1201\/9781003278290-37"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Anim, J., Robaldo, L., Wyner, A.Z.: A SHACL-based approach for enhancing automated compliance checking with RDF data. Information 15(12) (2024)","DOI":"10.3390\/info15120759"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Atkinson, K., Bench-Capon, T.: Addressing moral problems through practical reasoning. J. Appli. Logic 6, 135\u2013151 (2008)","DOI":"10.1016\/j.jal.2007.06.005"},{"issue":"6","key":"10_CR4","first-page":"1543","volume":"8","author":"K Atkinson","year":"2021","unstructured":"Atkinson, K., Bench-Capon, T.J.: Value-based argumentation. FLAP 8(6), 1543\u20131588 (2021)","journal-title":"FLAP"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Bahl, U., Topaz, C., Obermuller, L., Goldstein, S., Sneirson, M.: Algorithms in judges\u2019 hands: Incarceration and inequity in Broward County, Florida. UCLA L. Rev. Disc. 71 (2023)","DOI":"10.31235\/osf.io\/326tw"},{"issue":"1\u20132","key":"10_CR6","doi-asserted-by":"publisher","first-page":"221","DOI":"10.3233\/AAC-190477","volume":"11","author":"T Bench-Capon","year":"2020","unstructured":"Bench-Capon, T.: Before and after dung: argumentation in AI and Law. Argument Comput. 11(1\u20132), 221\u2013238 (2020)","journal-title":"Argument Comput."},{"issue":"1","key":"10_CR7","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/s10506-017-9194-9","volume":"25","author":"T Bench-Capon","year":"2017","unstructured":"Bench-Capon, T., Modgil, S.: Norms and value based reasoning: justifying compliance and violation. Artif. Intell. Law 25(1), 29\u201364 (2017)","journal-title":"Artif. Intell. Law"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"van Berkel, K., Stra\u00dfer, C.: Reasoning with and about norms in logical argumentation. In: Computational Models of Argument, vol.\u00a0353. IOS Press (2022)","DOI":"10.3233\/FAIA220164"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Berman, D.H., Hafner, C.D.: Representing teleological structure in case-based legal reasoning: the missing link. In: Proceedings of the 4th Int. Conf. in AI and Law, ICAIL 1993. Association for Computing Machinery, New York (1993)","DOI":"10.1145\/158976.158982"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"897","DOI":"10.3390\/j4040061","volume":"4","author":"M Billi","year":"2021","unstructured":"Billi, M., et al.: Argumentation and defeasible reasoning in the law. J - Multidisciplinary Sci. J. 4, 897\u2013914 (2021)","journal-title":"J - Multidisciplinary Sci. J."},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Boella, G., van Der\u00a0Torre, L.: A game-theoretic approach to normative multi-agent systems. Normative Multi-agent Systems (2007)","DOI":"10.1007\/978-3-540-75254-7_5"},{"issue":"2","key":"10_CR12","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s11225-009-9213-2","volume":"93","author":"G Boella","year":"2009","unstructured":"Boella, G., Gabbay, D.M., van der Torre, L., Villata, S.: Meta-argumentation modelling I: methodology and techniques. Stud. Logica. 93(2), 297 (2009)","journal-title":"Stud. Logica."},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Boella, G., Humphreys, L., Muthuri, R., Rossi, P., van\u00a0der Torre, L.: A critical analysis of legal requirements engineering from the perspective of legal practice. In: RELAW 2014 (2014)","DOI":"10.1109\/RELAW.2014.6893476"},{"issue":"6","key":"10_CR14","doi-asserted-by":"publisher","first-page":"1225","DOI":"10.1007\/s10670-013-9518-4","volume":"79","author":"R Bradley","year":"2014","unstructured":"Bradley, R., Drechsler, M.: Types of uncertainty. Erkenntnis 79(6), 1225\u20131248 (2014)","journal-title":"Erkenntnis"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Breaux, T.D., Ant\u00f3n, A.I., Doyle, J.: Semantic parameterization: a process for modeling domain descriptions. ACM Trans. Softw. Eng. Methodol. 18(2), 5:1\u20135:27 (2008)","DOI":"10.1145\/1416563.1416565"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Christian, B.: The alignment problem: how can machines learn human values? Atlantic Books (2021)","DOI":"10.56315\/PSCF12-21Christian"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"\u010cyras, V., Lachmayer, F.: Situation versus case and two kinds of legal subsumption. In: Abstraction and Application. In: Proceedings of the 16th Int. Legal Informatics Symposium, IRIS (2013)","DOI":"10.38023\/1953fd61-02f4-4193-a1bd-420d410f235f"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artifi. Intell. 77(2) (1995)","DOI":"10.1016\/0004-3702(94)00041-X"},{"issue":"3","key":"10_CR19","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/s10506-015-9174-x","volume":"23","author":"S Esayas","year":"2015","unstructured":"Esayas, S., Mahler, T.: Modelling compliance risk: a structured approach. Artifi. Intell. Law 23(3), 271\u2013300 (2015). https:\/\/doi.org\/10.1007\/s10506-015-9174-x","journal-title":"Artifi. Intell. Law"},{"key":"10_CR20","first-page":"1","volume":"31","author":"E Francesconi","year":"2022","unstructured":"Francesconi, E., Governatori, G.: Patterns for legal compliance checking in a decidable framework of linked open data. Artifi. Intell. Law 31, 1\u201320 (2022)","journal-title":"Artifi. Intell. Law"},{"key":"10_CR21","unstructured":"Galoob, S.R., Hill, A.: Norms, attitudes and compliance. Tulsa Law Rev. 50(2) (2015)"},{"issue":"6669","key":"10_CR22","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1126\/science.adi8678","volume":"382","author":"DJ Gervais","year":"2023","unstructured":"Gervais, D.J., Nay, J.J.: Artificial intelligence and interspecific law. Science 382(6669), 376\u2013378 (2023)","journal-title":"Science"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Ghanavati, S., Amyot, D., Rifaut, A.: Legal goal-oriented requirement language (legal GRL) for modeling regulations. In: MiSE 2014, pp.\u00a01\u20136 (2014)","DOI":"10.1145\/2593770.2593780"},{"issue":"5","key":"10_CR24","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1093\/logcom\/14.5.675","volume":"14","author":"G Governatori","year":"2004","unstructured":"Governatori, G., Maher, M.J., Antoniou, G., Billington, D.: Argumentation semantics for defeasible logic. J. Log. Comput. 14(5), 675\u2013702 (2004)","journal-title":"J. Log. Comput."},{"key":"10_CR25","unstructured":"Hawkins, K.: Enforcing regulation: working theories of compliance and punishment. In: Proc. of the Conference on the Enforcement of Regulation; Indecopi: Lima, Peru (2016)"},{"issue":"6","key":"10_CR26","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1080\/13510347.2021.1922390","volume":"28","author":"S Hellmeier","year":"2021","unstructured":"Hellmeier, S., et al.: State of the world 2020: autocratization turns viral. Democratization 28(6), 1053\u20131074 (2021)","journal-title":"Democratization"},{"key":"10_CR27","doi-asserted-by":"crossref","unstructured":"Ingolfo, S., Siena, A., Susi, A., Perini, A., Mylopoulos, J.: Modeling laws with nomos 2. In: RELAW 2013, pp. 69\u201371 (2013)","DOI":"10.1109\/RELAW.2013.6671350"},{"key":"10_CR28","unstructured":"Kant, I.: The Metaphysics of Morals. Cambridge University Press (1797)"},{"key":"10_CR29","doi-asserted-by":"crossref","unstructured":"Kosenkov, O., Unterkalmsteiner, M., M\u00e9ndez, D., Fucci, D., Gorschek, T., Fischbach, J.: On developing an artifact-based approach to regulatory requirements engineering. In: MoDRE 2024, pp. 262\u2013271 (2024)","DOI":"10.1109\/REW61692.2024.00041"},{"key":"10_CR30","first-page":"334","volume":"24","author":"P Leith","year":"1983","unstructured":"Leith, P.: Logic, formal models and legal reasoning. Jurimetrics J. 24, 334 (1983)","journal-title":"Jurimetrics J."},{"key":"10_CR31","doi-asserted-by":"crossref","unstructured":"Longo, L.: Argumentation for knowledge representation, conflict resolution, defeasible inference and its integration with machine learning. ML Health Inform. (2016)","DOI":"10.1007\/978-3-319-50478-0_9"},{"key":"10_CR32","doi-asserted-by":"crossref","unstructured":"Luger, E., Moran, S., Rodden, T.: Consent for all: revealing the hidden complexity of terms and conditions. In: Proc. SIGCHI Conference on Human Factors in Computing Systems, CHI 2013, pp. 2687\u20132696. Association for Computing Machinery, New York (2013)","DOI":"10.1145\/2470654.2481371"},{"key":"10_CR33","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1023\/A:1017599526096","volume":"30","author":"D Makinson","year":"2001","unstructured":"Makinson, D., Van Der Torre, L.: Constraints for input\/output logics. J. Philos. Log. 30, 155\u2013185 (2001)","journal-title":"J. Philos. Log."},{"issue":"3","key":"10_CR34","first-page":"1237","volume":"79","author":"LA de Mattos","year":"2024","unstructured":"de Mattos, L.A., Rocha, R., de Castro, F.: Human error and violation of rules in industrial safety: a systematic literature review. Work 79(3), 1237\u20131253 (2024)","journal-title":"Work"},{"issue":"9\u201310","key":"10_CR35","doi-asserted-by":"publisher","first-page":"901","DOI":"10.1016\/j.artint.2009.02.001","volume":"173","author":"S Modgil","year":"2009","unstructured":"Modgil, S.: Reasoning about preferences in argumentation frameworks. Artif. Intell. 173(9\u201310), 901\u2013934 (2009)","journal-title":"Artif. Intell."},{"key":"10_CR36","first-page":"240","volume":"172","author":"S Modgil","year":"2008","unstructured":"Modgil, S., Bench-Capon, T.: Integrating object and meta-level value based argumentation. COMMA 172, 240\u2013251 (2008)","journal-title":"COMMA"},{"key":"10_CR37","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/j.artint.2012.10.008","volume":"195","author":"S Modgil","year":"2013","unstructured":"Modgil, S., Prakken, H.: A general account of argumentation with preferences. Artif. Intell. 195, 361\u2013397 (2013)","journal-title":"Artif. Intell."},{"key":"10_CR38","doi-asserted-by":"crossref","unstructured":"Muthuri, R., Capecchi, S., Sulis, E., Amantea, I.A., Boella, G.: Integrating value modeling and legal risk management: an IT case study. Inform. Syst. e-Business Manag., 1\u201329 (2022)","DOI":"10.1007\/s10257-021-00543-2"},{"key":"10_CR39","first-page":"309","volume":"20","author":"JJ Nay","year":"2022","unstructured":"Nay, J.J.: Law informs code: a legal informatics approach to aligning artificial intelligence with humans. Nw. J. Tech. & Intell. Prop. 20, 309 (2022)","journal-title":"Nw. J. Tech. & Intell. Prop."},{"issue":"1","key":"10_CR40","doi-asserted-by":"publisher","first-page":"8","DOI":"10.5195\/palrap.2021.231","volume":"9","author":"I O\u2019Hara","year":"2021","unstructured":"O\u2019Hara, I.: Feedback loops: Algorithmic authority, emergent biases, and implications for information literacy. Pennsylvania Libraries: Res. Pract. 9(1), 8\u201315 (2021)","journal-title":"Pennsylvania Libraries: Res. Pract."},{"issue":"1","key":"10_CR41","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1177\/1477370819874447","volume":"17","author":"M Peeters","year":"2020","unstructured":"Peeters, M., Denkers, A., Huisman, W.: Rule violations by SMEs: the influence of conduct within the industry, company culture and personal motives. Eur. J. Criminol. 17(1), 50\u201369 (2020)","journal-title":"Eur. J. Criminol."},{"key":"10_CR42","unstructured":"Raz, J. (ed.): Practical Reasoning. Oxford University Press, New York (1978)"},{"key":"10_CR43","unstructured":"Rotolo, A.: Norm compliance of rule-based cognitive agents. In: Proceedings of the 22nd International Joint Conference on AI, IJCAI 2011, vol. 3. AAAI Press (2011)"},{"key":"10_CR44","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-319-56352-7_3","volume-title":"Values and Behavior","author":"SH Schwartz","year":"2017","unstructured":"Schwartz, S.H.: The refined theory of basic values. In: Roccas, S., Sagiv, L. (eds.) Values and Behavior, pp. 51\u201372. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-56352-7_3"},{"key":"10_CR45","unstructured":"Searle, J.R.: Rationality in action. MIT press (2003)"},{"issue":"3","key":"10_CR46","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10664-020-09933-5","volume":"26","author":"A Sleimi","year":"2021","unstructured":"Sleimi, A., Sannier, N., Sabetzadeh, M., Briand, L., Ceci, M., Dann, J.: An automated framework for the extraction of semantic legal metadata from legal texts. Empir. Softw. Eng. 26(3), 1\u201350 (2021). https:\/\/doi.org\/10.1007\/s10664-020-09933-5","journal-title":"Empir. Softw. Eng."},{"key":"10_CR47","doi-asserted-by":"crossref","unstructured":"Steinfeld, N.: \u201cI agree to the terms and conditions\u201d: (How) do users read privacy policies online? An eye-tracking experiment. Comput. Hum. Behav. 55, 992\u20131000 (2016)","DOI":"10.1016\/j.chb.2015.09.038"},{"issue":"4","key":"10_CR48","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/s10506-016-9189-y","volume":"24","author":"B Verheij","year":"2016","unstructured":"Verheij, B.: Formalizing value-guided argumentation for ethical systems design. Artif. Intell. Law 24(4), 387\u2013407 (2016)","journal-title":"Artif. Intell. Law"},{"key":"10_CR49","doi-asserted-by":"crossref","unstructured":"Walton, D., Reed, C., Macagno, F.: Argumentation schemes. Cambridge Univ, Press (2008)","DOI":"10.1017\/CBO9780511802034"}],"container-title":["Lecture Notes in Computer Science","Digital Humanism"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-11108-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T18:03:21Z","timestamp":1762970601000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-11108-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,12]]},"ISBN":["9783032111074","9783032111081"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-11108-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,12]]},"assertion":[{"value":"12 November 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare\u00a0that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"DIGHUM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Interdisciplinary Science and Research Conference on Digital Humanism","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vienna","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 November 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 November 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"dighum2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/caiml.org\/dighum\/\/dighum-res\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}