CompuLaw
| Legal protection in the era of infosphere |
|---|
| The increasing proliferation of data is raising some ethical and philosophical questions regarding the impact of data on society. Until now, there are no adequate law and legal instruments to rule the 'hybrid infosphere': the huge and increasingly pervasive, autonomous and intelligent computational entities transforming almost every dimension of social life. These computations are so large, fast and ubiquitous that it is impossible for humans to monitor them and anticipate all possible illegal behaviours. The EU-funded CompuLaw project proposes to make law computation-oriented. The goal is to integrate, map and partially translate legal and ethical requirements into computable representations of legal knowledge and reasoning. Computational law will help society move more smoothly into a newly-created digital space. |
Info
- (funding body) EU Horizon 2020 Framework Programme (H2020)
- (programme) H2020-EU.1.1. – EXCELLENT SCIENCE - European Research Council (ERC)
- (topic) ERC-2018-ADG – ERC Advanced Grant
- (funding scheme) ERC-ADG - Advanced Grant
- (project acronym) CompuLaw
- (project full title) Computable Law
- (grant agreement id) 833647
- (overall budget) € 2273550
- (EU overall contribution) € 2273550
- (CORDIS page) https://cordis.europa.eu/project/id/833647
- (official site) http://site.unibo.it/compulaw/
- (start-end dates) 1 November 2019 – 31 October 2024
UniBo People
- (coordinator) Giovanni Sartor
- (coordinator subproject 1) Francesca Lagioia
- (coordinator subproject 2) Roberta Calegari
- (coordinator subproject 3) Giuseppe Contissa
- (advisory board member) Andrea Omicini
- Giuseppe Pisano
UniBo Publications
- Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review (2021)
- Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (2021)
- Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review (2021)
- Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming (2021)
- The Burden of Persuasion in Structured Argumentation (2021)
- Towards cooperative argumentation for MAS: An actor-based approach (2021)
- Burden of Persuasion in Argumentation (2020)
- On the integration of symbolic and sub-symbolic techniques for XAI: A survey (2020)
- Arg-tuProlog: A tuProlog-based argumentation framework (2020)
- Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives (2020)
- Argumentation and Logic Programming for Explainable and Ethical AI (2020)
- Arg-tuProlog: a modular logic argumentation tool for PIL (2020)
- Computable Law as Argumentation-based MAS (2020)
- 2P-Kt: logic programming with objects & functions in Kotlin (2020)
- A Model for the Burden of Persuasion in Argumentation (2020)
UniBo Talks
- Explainability through argumentation in logic programming (20/09/2021), talk — Roberta Calegari, Giuseppe Pisano, Giovanni Sartor, Marco Billi, Giuseppe Contissa, Galileo Sartor / Giuseppe Pisano, Marco Billi
- A Mechanism for Reasoning over Defeasible Preferences in Arg2P (07/09/2021), talk — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor / Giuseppe Pisano
- The Burden of Persuasion in Structured Argumentation (23/06/2021), talk — Roberta Calegari, Giovanni Sartor, Régis Riveret / Giovanni Sartor
- Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (17/05/2021), talk — Giovanni Ciatto, Roberta Calegari, Andrea Omicini / Giovanni Ciatto
- Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review (07/05/2021), talk — Roberta Calegari, Giovanni Ciatto, Andrea Omicini, Viviana Mascardi / Viviana Mascardi
- A Model for the Burden of Persuasion in Argumentation (10/12/2020), talk — Giovanni Sartor, Roberta Calegari / Roberta Calegari
- Arg-tuProlog: a modular logic argumentation tool for PIL (10/12/2020), talk — Giuseppe Pisano, Roberta Calegari, Giuseppe Contissa, Galileo Sartor, Giovanni Sartor / Giuseppe Pisano
- Argumentation and Logic Programming for Explainable and Ethical AI (25/11/2020), talk — Andrea Omicini, Giovanni Sartor, Roberta Calegari / Roberta Calegari
- Arg-tuProlog: a tuProlog-based argumentation framework (13/10/2020), talk — Andrea Omicini, Giuseppe Pisano, Roberta Calegari, Giovanni Sartor / Giuseppe Pisano
- Burden of Persuasion in Argumentation (20/09/2020), talk — Giovanni Sartor, Roberta Calegari / Roberta Calegari
- 2P-Kt: logic programming with objects & functions in Kotlin (16/09/2020), talk — Andrea Omicini, Enrico Denti, Enrico Siboni, Giovanni Ciatto, Roberta Calegari / Giovanni Ciatto
- Computable Law as Argumentation-based MAS (14/09/2020), talk — Andrea Omicini, Giovanni Sartor, Roberta Calegari / Roberta Calegari
