POPL 2023 (series) / ProLaLa 2023 (series) / ProLaLa 2023 / Blawx: User-friendly Goal-Directed Answer Set Programming for Rules as Code
Blawx: User-friendly Goal-Directed Answer Set Programming for Rules as CodeVirtual
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.
Paper (Blawx_Prolala_2023.pdf) | 552KiB |
Sun 15 JanDisplayed time zone: Eastern Time (US & Canada) change
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 45mKeynote | Research keynote ProLaLa Chris Bailey University of Illinois College of Law | ||
16:45 25mTalk | Designing an experiment for comparing user interfaces for legal formalization ProLaLa | ||
17:10 10mTalk | Blawx: User-friendly Goal-Directed Answer Set Programming for Rules as CodeVirtual ProLaLa File Attached | ||
17:20 10mTalk | 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 |