CompuLaw: Computable Law
CompuLaw: Computable Law
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
- Argumentation and Defeasible Reasoning in the Law (article in journal, 2021) — Marco Billi, Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
- Explainability through argumentation in logic programming (paper in proceedings, 2021) — Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
- The Burden of Persuasion in Structured Argumentation (paper in proceedings, 2021) — Roberta Calegari, Regis Riveret, Giovanni Sartor
- Towards cooperative argumentation for MAS: An actor-based approach (paper in proceedings, 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini
- Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review (paper in proceedings, 2021) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
- Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (paper in proceedings, 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- A Mechanism for Reasoning over Defeasible Preferences in Arg2P (paper in proceedings, 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
- Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review (article in journal, 2021) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
- Burdens of Persuasion and Standards of Proof in Structured Argumentation (paper in proceedings, 2021) — Roberta Calegari, Giovanni Sartor
- Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming (paper in proceedings, 2021) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
- Burden of Persuasion in Argumentation (paper in proceedings, 2020) — Roberta Calegari, Giovanni Sartor
- Argumentation and Logic Programming for Explainable and Ethical AI (paper in proceedings, 2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
- Arg-tuProlog: a modular logic argumentation tool for PIL (paper in proceedings, 2020) — Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
- On the integration of symbolic and sub-symbolic techniques for XAI: A survey (article in journal, 2020) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
- Computable Law as Argumentation-based MAS (paper in proceedings, 2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
- Arg-tuProlog: A tuProlog-based argumentation framework (paper in proceedings, 2020) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
- 2P-Kt: logic programming with objects & functions in Kotlin (paper in proceedings, 2020) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini
- Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives (article in journal, 2020) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
- A Model for the Burden of Persuasion in Argumentation (paper in proceedings, 2020) — Roberta Calegari, Giovanni Sartor
UniBo Talks
- Modular logic argumentation in Arg-tuProlog (talk, 01/12/2021) — Giuseppe Pisano (Roberta Calegari, Giuseppe, Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor)
- Burden of persuasion in argumentation: A meta-argumentation approach (talk, 29/11/2021) — Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor)
- Explainability through argumentation in logic programming (talk, 20/09/2021) — Marco Billi, Giuseppe Pisano (Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor)
- A Mechanism for Reasoning over Defeasible Preferences in Arg2P (talk, 07/09/2021) — Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor)
- The Burden of Persuasion in Structured Argumentation (talk, 23/06/2021) — Giovanni Sartor (Roberta Calegari, Régis Riveret, Giovanni Sartor)
- Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (talk, 17/05/2021) — Giovanni Ciatto (Giovanni Ciatto, Roberta Calegari, Andrea Omicini)
- Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review (talk, 07/05/2021) — Viviana Mascardi (Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini)
- Arg-tuProlog: a modular logic argumentation tool for PIL (talk, 10/12/2020) — Giuseppe Pisano (Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor)
- A Model for the Burden of Persuasion in Argumentation (talk, 10/12/2020) — Roberta Calegari (Giovanni Sartor, Roberta Calegari)
- Argumentation and Logic Programming for Explainable and Ethical AI (talk, 25/11/2020) — Roberta Calegari (Andrea Omicini, Giovanni Sartor, Roberta Calegari)
- Arg-tuProlog: a tuProlog-based argumentation framework (talk, 13/10/2020) — Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor)
- Burden of Persuasion in Argumentation (talk, 20/09/2020) — Roberta Calegari (Giovanni Sartor, Roberta Calegari)
- 2P-Kt: logic programming with objects & functions in Kotlin (talk, 16/09/2020) — Giovanni Ciatto (Andrea Omicini, Enrico Denti, Enrico Siboni, Giovanni Ciatto, Roberta Calegari)
- Computable Law as Argumentation-based MAS (talk, 14/09/2020) — Roberta Calegari (Andrea Omicini, Giovanni Sartor, Roberta Calegari)