Sun 15 Jan 2023 17:10 - 17:20 at Kenmore - Session #4 Chair(s): Shrutarshi Basu, Jonathan Protzenko

This paper describes Blawx, a prototype web-based user-friendly Rules as Code tool, powered by goal-directed answer set programming. The paper briefly describes Rules as Code, and introduces desireable qualities for Rules as Code tools. It provides justifications for Blawx’s implementation of the Google Blockly library, and the s(CASP) reasoning system. It then provides a step-by-step tour of how Blawx allows a user to generate an answer set program representing their understanding of a statute, and use that encoding to power an application. It also examines the unique reasoning features available in Blawx. The paper concludes with a brief discussion of the current technical challenges and future work.

Sun 15 Jan

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

16:00 - 18:00
Session #4ProLaLa at Kenmore
Chair(s): Shrutarshi Basu Harvard University, Jonathan Protzenko Microsoft Research, Redmond
16:00
45m
Keynote
Research keynote
ProLaLa
Chris Bailey University of Illinois College of Law
16:45
25m
Talk
Designing an experiment for comparing user interfaces for legal formalization
ProLaLa
Tereza Novotná Masaryk university, Tomer Libal
17:10
10m
Talk
Blawx: User-friendly Goal-Directed Answer Set Programming for Rules as CodeVirtual
ProLaLa
File Attached
17:20
10m
Talk
Formalising Criminal Law in CatalaVirtual
ProLaLa
Luca Arnaboldi The University of Edinburgh, David Aspinall University of Edinburgh, Ronny Bogani University of Edinburgh, Burkhard Schafer University of Edinburgh, Scott Herman Conan & Herman, Jonathan Protzenko Microsoft Research, Redmond, Ekaterina Komendantskaya Heriot-Watt University, UK, Remi Desmartin Heriot-Watt University, Yue Li Heriot-Watt University, UK
Pre-print File Attached