Sun 16 Jan 2022 13:40 - 13:50 at Salon III - Short talks Chair(s): Jonathan Protzenko

The formal representation of a legal text to automatize reasoning about them is well known in literature, and is recently gaining much attention thanks to the interest in the so-called smart contracts, and to autonomous decisions by public administrations [8,4,11]. For deterministic rules there are several proposals, often based on logic-based programming languages [9,10]. However, none of the existing proposals are able to represent the ambiguity and/or administrative discretion present in contracts and/or applicable legislation, e.g., force majeure. This paper is an extended abstract of [3], where we present a framework, called s(LAW), that allows for modeling legal rules involving ambiguity, and supports reasoning and inferring conclusions based on them. Additionally, thanks to the goal-directed execution of s(CASP) [2], the underlying system used to implement our proposal, s(LAW) provides justification [1] of the resulting conclusions (in natural language). To evaluate the expressiveness of our proposal we have translated (using a set of patterns) the procedure for awarding school places for the “Educación Secundaria Obligatoria” (ESO) of centers supported with public funds in the Comunidad de Madrid.

Slides (ProLaLa22-slaw.pdf)1.61MiB

Sun 16 Jan

Displayed time zone: Eastern Time (US & Canada) change

13:30 - 14:10
Short talksProLaLa at Salon III
Chair(s): Jonathan Protzenko Microsoft Research, Redmond
13:30
10m
Talk
Littleton: An Educational Environment for Property LawRemote
ProLaLa
Shrutarshi Basu Harvard University, Anshuman Mohan Cornell University, James Grimmelmann Cornell University, Nate Foster Cornell University
File Attached
13:40
10m
Talk
Modeling Administrative Discretion Using Goal-Directed Answer Set ProgrammingRemote
ProLaLa
Joaquín Arias Universidad Rey Juan Carlos, Mar Moreno-Rebato Universidad Rey Juan Carlos, José Antonio Rodríguez-García Universidad Rey Juan Carlos, Sascha Ossowski Universidad Rey Juan Carlos
Pre-print Media Attached File Attached
13:50
10m
Talk
Probabilistic programming for Employment Tribunal remediesRemote
ProLaLa
James Cheney University of Edinburgh; Alan Turing Institute
14:00
10m
Talk
Prevalence of Expression Types in Legislative TextRemote
ProLaLa
Jason Morris Service Canada, Lexpedite Legal Technology