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

Automating Defeasible Reasoning in Law

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

User Guided Abductive Proof Generation for Answer Set Programming Queries

We present a method for calculating possible proofs of a query with respect to a given Answer Set Programming…

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