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)