Projects
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
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, then…
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.…