Our Projects & Papers

  

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.…