2 papers
cs.CY2025
Specification languages for computational laws versus basic legal principles
Petia Guintchev, Joost J. Joosten, Sofia Santiago Fernández +3
We speak of a \textit{computational law} when that law is intended to be enforced by software through an automated decision-making process. As digital technologies evolve to offer…
cs.AI2018
When logic lays down the law
Bjørn Jespersen, Ana de Almeida Borges, Jorge del Castillo Tierz +5
We analyse so-called computable laws, i.e., laws that can be enforced by automatic procedures. These laws should be logically perfect and unambiguous, but sometimes they are not. W…