Logical English as a Programming Language for the Law (ProLaLa 2022 - Programming Languages and the Law 2022)

Sun 16 - Fri 28 January 2022 Philadelphia, Pennsylvania, United States

Who

Robert Kowalski, Jacinto Dávila, Miguel Calejo

Track

ProLaLa 2022 ProLaLa Programming Languages and the Law

Time Zone

The program is currently displayed in (GMT-05:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

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

Abstract

Logical English (LE) is syntactic sugar for logic programs, which are collections of facts and rules of the form conclusion if conditions. In this paper, we focus on legal applications of LE and the use of meta- (or higher-order) predicates to represent propositional attitudes. We also illustrate an integration of LE with SWISH, the online implementation of SWI Prolog.

File attachments

paper (Logical English as a programming language for the Law.docx.pdf)	599KiB
slides (Logical English for ProLaLa.pdf)	866KiB

Robert Kowalski

Imperial College London

Jacinto Dávila

Contratos Lógicos. C.A. and Universidad de Los Andes

Miguel Calejo

logicalcontracts.com