The SMU Centre for Computational Law's (CCLAW) flagship programme researches and develops open source technologies for ‘smart’ contracts and ‘smart’ statutes, starting with the design and implementation of a domain-specific programming language (DSL) that allows for laws, rules and agreements to be expressed in code. This paves the way for ‘smart’ contracts and statutes that can be reliably executed by computers to enable precise and accurate performance and compliance. Industry-adoption of the DSL will facilitate the delivery of more efficient legal and regulatory services through digital systems, and will broaden access to justice. This Programme is supported by the National Research Foundation of Singapore.

Follow

Submissions from 2023

PDF

Defeasible semantics for L4, Guido GOVERNATORI and Meng Weng (HUANG Mingrong) WONG

PDF

Deontic meta-rules, Francesco OLIVIERI, Guido GOVERNATORI, Matteo CRISTANI, Antonino ROTOLO, and Abdul SATTAR

PDF

Deontics and time in contracts: An executable semantics for the L4 DSL, Seng Joe WATT, Oliver GOODENOUGH, and Meng Weng (HUANG Mingrong) WONG Conference Proceeding Article

Submissions from 2022

PDF

Driving-decision making of autonomous vehicle according to Queensland overtaking traffic rules, Hanif BHUIYAN, Guido GOVERNATORI, Avishkar MAHAJAN, Andry RAKOTONIRAINY, and Meng Weng (HUANG Mingrong) WONG

PDF

Traffic rule formalization for autonomous vehicle, Hanif BHUIYAN, Guido GOVERNATORI, Andry RAKOTONIRAINY, Meng Weng WONG, and Avishkar MAHAJAN

PDF

Automating defeasible reasoning in law with answer set programming, How Khang LIM, Avishkar MAHAJAR, Martin STRECKER, and Meng Weng WONG

PDF

Compliance through model checking, Avishkar MAHAJAN, STRECKER Martin, Seng Joe WATT, and Meng Weng (HUANG Mingrong) WONG

PDF

User guided abductive proof generation for answer set programming queries, Avishkar MAHAJAN, Martin STRECKER, and Meng Weng (HUANG Mingrong) WONG Conference Proceeding Article

PDF

An end-to-end pipeline from law text to logical formulas, Aarne RANTA, Inari LISTENMAA, Jerrold SOH, and Meng Weng (HUANG Mingrong) WONG Conference Proceeding Article

Submissions from 2021

PDF

Towards CNL-based verbalization of computational contracts, Inari LISTENMAA, Maryam HANAFIAH, Regina CHEONG, and Andreas KALLBERG

PDF

Constraint answer set programming as a tool to improve legislative drafting, Jason MORRIS

Submissions from 2020

PDF

Rules as code: Seven levels of digitisation, Meng Weng WONG Report