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

Flint is a frame-based and action-centered language developed by Van Doesburg et al. to capture and compare different interpretations of sources of norms (e.g. laws or regulations). The aim of this research is to investigate whether Flint is susceptible to paradoxes that are known to occur in normative systems. The example of library lending regulations - first introduced by Sergot in 1982 to argue for including deontic concepts in legal knowledge representation - is central to this analysis. The hypothesis is that Flint is capable of expressing Sergot’s library example without the occurrence of deontic paradoxes (most notably: the Chisholm paradox). This research is a first step towards a formal analysis of the expressive power of Flint as a language and furthers understanding of the relation between Flint and existing deontic logics.

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