Computable Law

Publications

Conference proceedings (28)

Interpretive normative systems

Author(s): Juliano Maranhão, Giovanni Sartor
Published in: Deontic Logic and Normative Systems, 15th International Conference, DEON 2020/2021, 2021, Page(s) 308-322, ISBN 978-1-84890-352-4
Publisher: DEON

A Kelsenian Deontic Logic

Author(s): Agata Ciabattoni, Xavier Parent, Giovanni Sartor
Published in: Proceedings of 34th International Conference on Legal Knowledge and Information Systems, 2021, Page(s) 141-150, ISBN 978-1-64368-252-5
Publisher: IOS
DOI: 10.3233/faia210330

Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt

Author(s): Giovanni Ciatto; Roberta Calegari; Andrea Omicini
Published in: Logics in Artificial Intelligence ISBN: 9783030757748, 2, 2021, Page(s) 17th European Conference, JELIA 2021, Virtual Event, May 17--20, 2021, Proceedings
Publisher: Springer
DOI: 10.1007/978-3-030-75775-5_27

Explaining potentially unfair clauses to the consumer with the CLAUDETTE tool

Author(s): Ruta Liepina, Federico Ruggeri, Francesca Lagioia, Marco Lippi, Kasper Drazewski, Paolo Torroni
Published in: """Proceedings of the 2020 Natural Legal Language Processing (NLLP) Workshop, 24 August 2020, San Diego, US""", 2020, Page(s) 61-64, ISSN 1613-0073
Publisher: CEUR Workshop Proceeding

Argumentation and Logic Programming for Explainable and Ethical AI

Author(s): Roberta Calegari, Andrea Omicini, Giovanni Sartor
Published in: XAI.it 2020 -- Italian Workshop on Explainable Artificial Intelligence 2020, 1, 2020
Publisher: Sun SITE Central Europe, RWTH Aachen University

A Corpus for Multilingual Analysis of Online Terms of Service

Author(s): Kasper Drawzeski, Andrea Galassi, Agnieszka Jablonowska,Francesca Lagioia,Marco Lippi, Hans Wolfgang Micklitz, Giovanni Sartor, Giacomo Tagiuri, Paolo Torroni
Published in: Proceedings of the Natural Legal Language Processing Workshop 2021, 2021, Page(s) 1-8
Publisher: Association for Computational Linguistics
DOI: 10.18653/v1/2021.nllp-1.1

A Mechanism for Reasoning over Defeasible Preferences in Arg2P

Author(s): Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Published in: 7, 2021
Publisher: CEUR-WS

Probabilistic logic programming in 2P-KT

Author(s): Dellaluce J.; Calegari R.; Ciatto G.
Published in: 7, 2021
Publisher: Sun SITE Central Europe, RWTH Aachen University

Burdens of Persuasion and Standards of Proof in Structured Argumentation

Author(s): Roberta Calegari; Giovanni Sartor; Giovanni Sartor
Published in: Lecture Notes in Computer Science ISBN: 9783030893903, 7, 2021
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-89391-0_3

Explainability through argumentation in logic programming

Author(s): Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
Published in: 7, 2021
Publisher: Sun SITE Central Europe, RWTH Aachen University

Voting with random classifiers (VORACE): theoretical and experimental analysis

Author(s): Cristina Cornelio, Michele Donini, Andrea Loreggia, Maria Silvia Pini, Francesca Rossi
Published in: Autonomous Agents and Multi-Agent Systems, 35/2, 2021, Page(s) 1-31
Publisher: Springer
DOI: 10.1007/s10458-021-09504-y

The burden of persuasion in structured argumentation

Author(s): Roberta Calegari; Régis Riveret; Giovanni Sartor
Published in: ICAIL, 7, 2021, ISBN 9781450385268
Publisher: ACM
DOI: 10.1145/3462757.3466078

SenTag: a Web-based Tool for Semantic Annotation of Textual Documents

Author(s): Andrea Loreggia, Simone Mosco, Alberto Zerbinati
Published in: AAAI2022 - 36th AAAI Conference on Artificial Intelligence, 2022
Publisher: AAAI Digital Library
DOI: 10.48550/arxiv.2110.15062

2P-Kt: logic programming with objects & functions in Kotlin

Author(s): Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini
Published in: "WOA 2020 – 21th Workshop “From Objects to Agents""", 1, 2020
Publisher: CEUR Workshop Proceedings

Assessing the Cross-Market Generalization Capability of the CLAUDETTE System

Author(s): Agnieszka Jablonowska, Francesca Lagioia, Marco Lippi, Hans-Wolfgang Micklitz, Giovanni Sartor, Giacomo Tagiuri
Published in: Volume 346: Legal Knowledge and Information Systems, JURIX 2021: The Thirty-fourth Annual Conference, Vilnius, Lithuania, 8–10 December 2021, 2021, Page(s) 62-67, ISBN 978-1-64368-253-2
Publisher: IOS Press
DOI: 10.3233/faia210318

Deep learning for detecting and explaining unfairness in consumer contracts

Author(s): Lagioia Francesca; Ruggeri Federico; Drazewski Kasper; Lippi Marco; Micklitz Hans-Wolfgang; Torroni Paolo; Sartor Giovanni
Published in: Legal Knowledge and Information Systems: JURIX 2019: The Thirty-second Annual Conference, 1, 2020
Publisher: IOS Press
DOI: 10.3233/faia190305

Towards cooperative argumentation for MAS: An actor-based approach

Author(s): Giuseppe Pisano, Roberta Calegari, Andrea Omicini
Published in: 6, 2021
Publisher: Sun SITE Central Europe, RWTH Aachen University

A Model for the Burden of Persuasion in Argumentation

Author(s): Roberta Calegari, Giovanni Sartor
Published in: Legal Knowledge and Information Systems - JURIX 2020: The Thirty-third Annual Conference, Brno, Czech Republic, December 9–11, 2020, 2020, ISBN 9781643681504
Publisher: IOS Press
DOI: 10.3233/faia200845

The Burden of Persuasion in Abstract Argumentation

Author(s): Timotheus Kampik, Dov Gabbay, Giovanni Sartor
Published in: International Conference on Logic and Argumentation, CLAR 2021: Logic and Argumentation, 2021, Page(s) 224–243, ISBN 978-3-030-89391-0
Publisher: Springer
DOI: 10.1007/978-3-030-89391-0_13

Computable Law as Argumentation-based MAS

Author(s): Roberta Calegari, Andrea Omicini, Giovanni Sartor
Published in: "WOA 2020 – 21th Workshop “From Objects to Agents""", 3, 2020
Publisher: CEUR Workshop Proceedings

Arg-tuProlog: A tuProlog-based argumentation framework

Author(s): Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Published in: CILC 2020 -- Italian Conference on Computational Logic. Proceedings of the 35th Italian Conference on Computational Logic, 2719, 2020
Publisher: CEUR-WS

A Ceteris Paribus Deontic Logic

Author(s): Loreggia, Andrea; Lorini, Emiliano; Sartor, Giovanni
Published in: 35th Italian Conference on Computational Logic (CILC 2020), 1, 2020
Publisher: CEUR Workshop Proceedings

Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review

Author(s): Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
Published in: 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2021), 1, 2021
Publisher: IFAAMAS

A dynamic model for balancing values

Author(s): Juliano Maranhão, Edelcio G. de Souza, Giovanni Sartor
Published in: ICAIL '21: Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law, 2021, ISBN 978-1-4503-8526-8
Publisher: Association for Computing Machinery
DOI: 10.1145/3462757.3466143

Defeasible Systems in Legal Reasoning: A Comparative Assessment

Author(s): Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Andrea Omicini, Giovanni Sartor
Published in: Legal Knowledge and Information Systems. JURIX 2019: The Thirty-second Annual Conference, 2019
Publisher: IOS Press
DOI: 10.3233/faia190320

Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming

Author(s): Roberta Calegari, Andrea Omicini, Giovanni Sartor
Published in: 7, 2021
Publisher: Springer Nature

Influencing Choices by Changing Beliefs: A Logical Theory of Influence, Persuasion, and Deception

Author(s): Grégory Bonnet, Christopher Leturc, Emiliano Lorini, Giovanni Sartor
Published in: Deceptive AI. DeceptECAI DeceptAI 2020 2021. Communications in Computer and Information Science, vol 1296, 2022, Page(s) 124–141, ISBN 978-3-030-91779-1
Publisher: Springer
DOI: 10.1007/978-3-030-91779-1_9

Arg-tuProlog: A Modular Logic Argumentation Tool for PIL

Author(s): Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
Published in: Legal Knowledge and Information Systems - JURIX 2020: The Thirty-third Annual Conference, Brno, Czech Republic, December 9–11, 2020, 2020, ISBN 9781643681504
Publisher: IOS Press
DOI: 10.3233/faia200880

Peer reviewed articles (14)

Modelling Ceteris Paribus Preferences with Deontic Logic

Author(s): Andrea Loreggia, Emiliano Lorini, GIovanni Sartor
Published in: Journal of Logic and Computation, 32/2, 2022, Page(s) 347–368, ISSN 1465-363X
Publisher: Oxford University Press
DOI: 10.1093/logcom/exab088

On the integration of symbolic and sub-symbolic techniques for XAI: A survey

Author(s): Roberta Calegari, Giovanni Ciatto, Andrea Omicini
Published in: Intelligenza Artificiale, 14/1, 2020, Page(s) 7-32, ISSN 1724-8035
Publisher: IOS Press
DOI: 10.3233/ia-190036

Detecting and explaining unfairness in consumer contracts through memory networks

Author(s): Federico Ruggeri, Francesca Lagioia, Marco Lippi, Paolo Torroni
Published in: Artificial Intelligence and Law, 2021, ISSN 0924-8463
Publisher: Kluwer Academic Publishers
DOI: 10.1007/s10506-021-09288-2

Artificial intelligence and human rights: Between law and ethics

Author(s): Giovanni Sartor
Published in: Maastricht Journal of European and Comparative Law, 27/6, 2020, Page(s) 705-719, ISSN 1023-263X
Publisher: SAGE Publishing
DOI: 10.1177/1023263x20981566

Logic-Based Technologies for Intelligent Systems: State of the Art and Perspectives

Author(s): Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
Published in: Information, 11/3, 2020, Page(s) 167, ISSN 2078-2489
Publisher: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/info11030167

Arg2P: An argumentation framework for explainable intelligent systems

Author(s): Roberta Calegari; Andrea Omicini; Giuseppe Pisano; Giovanni Sartor
Published in: Crossref, 5, 2022, Page(s) 369–401, ISSN 0955-792X
Publisher: Oxford University Press
DOI: 10.1093/logcom/exab089

Logic-based technologies for multi-agent systems: a systematic literature review

Author(s): Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
Published in: Autonomous Agents and Multi-Agent Systems, 35/1, 2021, ISSN 1387-2532
Publisher: Kluwer Academic Publishers
DOI: 10.1007/s10458-020-09478-3

Argumentation and Defeasible Reasoning in the Law

Author(s): Galileo Sartor; Roberta Calegari; Giovanni Sartor; Giuseppe Pisano; Giuseppe Contissa; Francesca Lagioia; Marco Billi
Published in: J; Volume 4; Issue 4; Pages: 897-914, 7, 2021, ISSN 2571-8800
Publisher: MDPI
DOI: 10.3390/j4040061

The strange case of Dr. Watson: liability implications of AI evidence-based decision support systems in health care

Author(s): Francesca Lagioia, Giuseppe Contissa
Published in: EUROPEAN JOURNAL OF LEGAL STUDIES, 2020, Page(s) 245-289, ISSN 1973-2937
Publisher: Department of Law at the European University Institute (EUI)
DOI: 10.2924/ejls.2019.028

Algorithmic fairness through group parities? The case of COMPAS-SAPMOC

Author(s): Francesca Lagioia, Riccardo Rovatti, Giovanni Sartor
Published in: AI & SOCIETY, 2022, ISSN 1435-5655
Publisher: Springer
DOI: 10.1007/s00146-022-01441-y

Burden of Persuasion in Argumentation

Author(s): Roberta Calegari, Giovanni Sartor
Published in: Electronic Proceedings in Theoretical Computer Science, 325, 2020, Page(s) 151-163, ISSN 2075-2180
Publisher: EPTCS
DOI: 10.4204/eptcs.325.21

Arguing about causes in law: a semi-formal framework for causal arguments

Author(s): Rūta Liepiņa, Giovanni Sartor, Adam Wyner
Published in: Artificial Intelligence and Law, 28, 2020, Page(s) 68-89, ISSN 1572-8382
Publisher: Springer
DOI: 10.1007/s10506-019-09246-z

Algorithmic Price Discrimination and Consumer Protection. A Digital Arm Race?

Author(s): Mateusz Grochowski, Agnieszka Jabłonowska, Francesca Lagioia, Giovanni Sartor
Published in: Technology and Regulation, 2022, Page(s) 36-47, ISSN 2666-139X
Publisher: Technology and Regulation
DOI: 10.26116/techreg.2022.004

2P-Kt: A Logic-Based Ecosystem for Symbolic AI

Author(s): Giovanni Ciatto; Roberta Calegari; Andrea Omicini
Published in: SoftwareX, 7, 2021, ISSN 2352-7110
Publisher: Elsevier B.V.
DOI: 10.1016/j.softx.2021.100817

Book chapters (3)

Algorithms and Regulation

Author(s): Amnon Reichman, Giovanni Sartor
Published in: Constitutional Challenges in the Algorithmic Society, 2021, Page(s) 131--181, ISBN 9781108914857
Publisher: Cambridge University Press
DOI: 10.1017/9781108914857.009

A Genetic Approach to the Ethical Knob

Author(s): Giovanni Iacca, Francesca Lagioia, Andrea Loreggia, Giovanni Sartor
Published in: Legal Knowledge and Information Systems - JURIX 2020: The Thirty-third Annual Conference, Brno, Czech Republic, December 9–11, 2020, 2020, ISBN 9781643681504
Publisher: IOS Press
DOI: 10.3233/faia200854

Artificial intelligence in the big data era: risks and opportunities

Author(s): Francesca Lagioia, Giovanni Sartor
Published in: Legal Challenges of Big Data, 2020, Page(s) 280–307, ISBN 9781788976213
Publisher: Elgar
DOI: 10.4337/9781788976220.00017

Other (2)

Detecting and Explaining Unfairness in Consumer Contracts with Memory Networks

Author(s): Federico Ruggeri, Francesca Lagioia, Marco Lippi, Paolo Torroni
Published in: Poster @ ICML 2020 Workshop on Law & Machine Learning (LML), 2020
Publisher: ICML 2020 Workshop on Law & Machine Learning (LML)

Preface

Author(s): Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
Published in: WOA 2020 – 21th Workshop “From Objects to Agents”, 2, 2020
Publisher: CEUR Workshop Proceedings

Monographic books (1)

Constitutional Challenges in the Algorithmic Society

Author(s): Hans-W. Micklitz, Oreste Pollicino, Amnon Reichman, Andrea Simoncini, Giovanni Sartor, Giovanni De Gregorio (Eds)
Published in: 2021, ISBN 9781108914857
Publisher: Cambridge University Press
DOI: 10.1017/9781108914857