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.
Submissions from 2023
Defeasible semantics for L4, Guido GOVERNATORI and Meng Weng (HUANG Mingrong) WONG
Deontic meta-rules, Francesco OLIVIERI, Guido GOVERNATORI, Matteo CRISTANI, Antonino ROTOLO, and Abdul SATTAR
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
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
Traffic rule formalization for autonomous vehicle, Hanif BHUIYAN, Guido GOVERNATORI, Andry RAKOTONIRAINY, Meng Weng WONG, and Avishkar MAHAJAN
Automating defeasible reasoning in law with answer set programming, How Khang LIM, Avishkar MAHAJAR, Martin STRECKER, and Meng Weng WONG
Compliance through model checking, Avishkar MAHAJAN, STRECKER Martin, Seng Joe WATT, and Meng Weng (HUANG Mingrong) WONG
User guided abductive proof generation for answer set programming queries, Avishkar MAHAJAN, Martin STRECKER, and Meng Weng (HUANG Mingrong) WONG Conference Proceeding Article
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
Towards CNL-based verbalization of computational contracts, Inari LISTENMAA, Maryam HANAFIAH, Regina CHEONG, and Andreas KALLBERG
Constraint answer set programming as a tool to improve legislative drafting, Jason MORRIS
Submissions from 2020
Rules as code: Seven levels of digitisation, Meng Weng WONG Report