This program is tentative and subject to change.

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

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.

This program is tentative and subject to change.

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
Hide past events