Sun 16 Jan 2022 10:20 - 10:40 at Salon III - Long talks #2 Chair(s): Jonathan Protzenko

My first paper on a Language for Legal Discourse (LLD) was published at the International Conference on Artificial Intelligence and Law in 1989 [24]. I used the language subsequently for several small projects: [48] [28] [30] [31], and it motivated much of my theoretical work on Knowledge Representation and Reasoning in those years. At the time, no one was attempting anything as ambitious as the “Rules as Code” movement, and thus I never wrote an interpreter for the entire language or used it to encode a complete statute. But I think this is a feasible project today. Even without a full-scale implementation, I think the design choices embodied in LLD provide useful guidelines for anyone trying to translate legal rules into executable computer code. I will describe these choices in this extended abstract.

Sun 16 Jan

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

10:20 - 12:00
Long talks #2ProLaLa at Salon III
Chair(s): Jonathan Protzenko Microsoft Research, Redmond
10:20
20m
Talk
Position Paper: LLD is All You NeedRemote
ProLaLa
L. Thorne McCarty Rutgers, The State University of New Jersey
Pre-print
10:40
20m
Talk
Logical English as a Programming Language for the LawRemote
ProLaLa
Robert Kowalski Imperial College London, Jacinto Dávila Contratos Lógicos. C.A. and Universidad de Los Andes, Miguel Calejo logicalcontracts.com
File Attached
11:00
20m
Talk
Introduction of PROLEG (PROlog-based LEGal reasoning support system)Remote
ProLaLa
Ken Satoh National Institute of Informatics, Wachara Fungwacharakorn National Institute of Informatics, Kanae Tsushima National Institute of Informatics, Japan
File Attached
11:20
20m
Talk
DPCL: a Language Template for Normative SpecificationsRemote
ProLaLa
Giovanni Sileno University of Amsterdam, Thomas van Binsbergen University of Amsterdam, Matteo Pascucci Slovak Academy of Science, Tom van Engers Leibniz Institute / University of Amsterdam / TNO
Pre-print
11:40
20m
Talk
Reflections on the design and application of eFLINTRemote
ProLaLa
Pre-print File Attached