Defeasible Semantics for L4 (ProLaLa 2023) - POPL 2023

Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States

Who

Guido Governatori, Meng Weng Wong

Track

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

When

Sun 15 Jan 2023 12:25 - 12:35 at Kenmore - Session #2 Chair(s): Shrutarshi Basu, Thomas T. Hildebrandt, Jonathan Protzenko

Abstract

We present an Answer Set Programming meta-program implementing defeasibility to provide Defeasible Semantics for the L4 language for the modelling of legal knowledge.

Link to Publication

https://www.researchgate.net/publication/367161414_Defeasible_Semantics_for_L4

DOI

https://doi.org/10.13140/RG.2.2.27931.34089

Guido Governatori

Singapore Management University

Meng Weng Wong

Singapore Management University

Singapore

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

Session Program

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

	11:00 - 12:30	Session #2ProLaLa at Kenmore Chair(s): Shrutarshi Basu Harvard University, Thomas T. Hildebrandt University of Copenhagen, Jonathan Protzenko Microsoft Research, Redmond

	11:00 25m Talk		Building Information Modeling Using Constraint Logic Programming (Extended Abstract)Virtual ProLaLa Joaquín Arias Universidad Rey Juan Carlos, Seppo Törmä VisuaLynk Oy, Finland, Manuel Carro IMDEA Software Institute and T.U. of Madrid (UPM), Gopal Gupta University of Texas at Dallas, USA Link to publication DOI Pre-print File Attached
	11:25 25m Talk		Exploring Consequences of Privacy Policies with Narrative Generation via Answer Set Programming ProLaLa Chinmaya Dabral North Carolina State University, Emma Tosch Northeastern University, USA, Chris Martens Northeastern University Link to publication Pre-print File Attached
	11:50 25m Talk		The Structure and Legal Interpretation of Computer ProgramsVirtual ProLaLa James Grimmelmann Cornell University File Attached
	12:15 10m Talk		Deontic Paradoxes in Library Lending Regulations: A Case Study in Flint ProLaLa Sterre Lutz Utrecht University and TNO DOI Pre-print
	12:25 10m Talk		Defeasible Semantics for L4Virtual ProLaLa Guido Governatori Singapore Management University, Meng Weng Wong Singapore Management University Link to publication DOI