Computable Law


 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.


The project addresses the regulation of computations (processes and systems) through an innovative legal & technological framework: it provides epistemic, technical and normative guidance for the de-velopment of computable laws and law compliant computations. 

The context is the ongoing transformation of the social world into a hybrid infosphere, populated by a huge and growing number of increasingly pervasive, autonomous and intelligent computational enti-ties. The scale, speed, ubiquity and autonomy of computations make it impossible for humans to di-rectly monitor them and anticipate all possible illegal computational behaviours. The law can hold the hybrid infosphere under its rule – providing protection, security and trust – only if it be-comes computation-oriented: legal and ethical requirements must be integrated with, mapped onto, and partially translated into, computable representations of legal knowledge and reasoning. 

Current legal culture still has not adequately addressed risks and potentials of computable law. My project will fill this gap, providing concepts, principles, methods and techniques and normative guide-lines to support law-abiding computations. It has the normative purpose to uphold the principle of rule of law, translating legal norms and legal values into requirements for computable laws and legally-responsive computational agents. My project will provide major methodological and substantive breakthroughs. On the one hand, it pro-poses a socio-technical methodology for regulatory design and evaluation, integrating three discipli-nary clusters: a social-legal one, a philosophical-logical one and a computing-AI one. On the other hand, it develops a framework including: (a) norms, legal values and principles for developers, de-ployers and users; (b) languages and methods to specify requirements of computations and norms directed to them; (c) cognitive architectures for legally-responsive computational agents.

(fields of science) law



  • Alma Mater Studiorum – Università di Bologna (UNIBO) — coordinator
  • European University Institute (EUI)
    • Francesca Lagioia (Coordinator Subproject 1), Andrea Loreggia, Hans W. Micklitz
  • other participants
    • Kevin Ashley (Advisory Board Member), Henry Prakken (Advisory Board Member), Marco Lippi (Advisory Board Member), Emiliano Lorini (Advisory Board Member), Agata Ciabattoni (Advisory Board Member), Fosca Giannotti (Advisory Board Member)

28 Publications  /  CompuLaw

14 Talks  /  CompuLaw

48 tags  /  CompuLaw

  2p-Kt5  abduction1  abductive logic programming1  actors1  AI4EU13  Arg2P18  argumentation15  burden of persuasion5  burden of proof4  CompuLaw43  computable law1  computational logic ecosystem1  cooperative argumentation1  data streams1  defeasible preference2  defeasible reasoning5  distributed argumentation1  domain specific languages2  ethical AI1  EXPECTATION1  explainability2  eXplainable AI5  functional programming2  H20201  inductive logic programming2  intelligent systems5  interpretability1  Kotlin3  legal reasoning2  logic programming8  logic-based argumentation2  logic-based technologies4  meta-argumentation2  multi-agent systems6  multi-paradigm languages2  object-oriented programming2  plp1  private international law1  probabilistic logic programming3  Prolog4  StairwAI2  standard of proofs1  stream processing1  symbolic AI1  symbolic vs. subsymbolic3  systematic literature review3  trustable systems1  tuProlog4 

[  196  /  48  tags  ]

Tags: H2020 CompuLaw


Projects / Views

•  participants  

per status
•  ongoing  •  ended  

per sort
•  competitive  •  non-competitive  •  other sort  

per context
•  international  •  national  •  regional  •  local  •  other  


— acronym


project coordination

— coordinating unit


— principal investigator

Giovanni Sartor


— start date


— end date


— duration

72 months


— EC


status & type

— status


— sort


— context



— funding body

European Community

— funding program

Horizon 2020

— grant agreement


— budget

€ 2,273,550

— funding

€ 2,273,550



Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY