Our Projects & Papers

  

Projects

Stanford CodeX’s Insurance Initiative Project

The Centre has partnered with

Research Project in Computational Law

The Centre’s anchor research programme aims to create and design a common language for law. With such a…

Papers

Deontics and Time in Contracts: An Executable Semantics for the L4 DSL

Existing approaches to modelling contracts often rely on deontic logic to reason about norms, and only treat time qualitatively. Using L4, a…

Defeasible Semantics for L4

The importance of defeasibility for legal reasoning has been investigated for a long time (see among other [10, 3, 11]). This notion mostly…

Traffic Rule Formalization for Autonomous Vehicle

This study devised and implemented a Defeasible Deontic Logic (DDL)-based formalization approach for translating traffic rules into a machine-…

Driving-Decision Making of Autonomous Vehicle according to Queensland Overtaking Traffic Rules

Making a driving decision according to traffic rules is a challenging task for improving the safety of Autonomous Vehicles (AVs). Traffic rules…

Compliance through Model Checking

In this short note, we describe part of a case study about Singapore’s Personal Data Protection Act, which we first presented informally,…

An End-to-End Pipeline from Law Text to Logical Formulas

This paper develops a pipeline for converting natural English law texts into logical formulas via a series of structural representations. The goal…

User Guided Abductive Proof Generation for Answer Set Programming Queries

We present a method for generating possible proofs of a query with respect to a given Answer Set Programming (ASP) rule set using an abductive…

Automating Defeasible Reasoning in Law

The paper studies defeasible reasoning in rule-based systems, in particular about legal norms and contracts.…

Towards CNL-based Verbalization of Computational Contracts

At CCLAW, our work aims at computerizing legal reasoning in a manner that is both formally precise and intuitively accessible to legal experts.…

Constraint Answer Set Programming as a Tool to Improve Legislative Drafting

"Rules as Code" in this paper is used to refer to a proposed methodology of legislative and regulatory drafting.1 That legislation can be…