Introduction of PROLEG (PROlog-based LEGal reasoning support system) (ProLaLa 2022 - Programming Languages and the Law 2022)

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

Who

Ken Satoh, Wachara Fungwacharakorn, Kanae Tsushima

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 11:00 - 11:20 at Salon III - Long talks #2 Chair(s): Jonathan Protzenko

Abstract

This paper introduces PROLEG (PROlog-based LEGal reasoning support system) representing legal rules and reasoning about judgements based on legal rules and facts in a case. This is based on the Japanese Presupposed Ultimate Fact Theory (JUF theory). The theory is developed by judicial scholars for consistent judicial interpretation in Japanese civil code litigation and it is closely related with default reasoning and logic programming.

File attachments

prolala2022ohp (prolala2022ohp.pdf)	52KiB
Introduction of PROLEG (PROlog-based LEGal reasoning support system) (Introduction of PROLEG (PROlog-based LEGal reasoning support system).pdf)	148KiB

Ken Satoh

National Institute of Informatics

Japan

Wachara Fungwacharakorn

National Institute of Informatics

Japan

Kanae Tsushima

National Institute of Informatics, Japan

Japan

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

Display full programSpecify a time band

Save

Session Program

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 L. Thomas van Binsbergen CWI Pre-print File Attached