Rules as code: Seven levels of digitisation

by WONG, Meng Weng
Published 2020

Defeasible semantics for L4

by GOVERNATORI, Guido, WONG, Meng Weng (HUANG Mingrong)
Published 2023

User guided abductive proof generation for answer set programming queries

by MAHAJAN, Avishkar, STRECKER, Martin, WONG, Meng Weng (HUANG Mingrong)
Published 2022

Deontics and time in contracts: An executable semantics for the L4 DSL

by WATT, Seng Joe, GOODENOUGH, Oliver, WONG, Meng Weng (HUANG Mingrong)
Published 2023

Automating defeasible reasoning in law with answer set programming

by LIM, How Khang, MAHAJAR, Avishkar, STRECKER, Martin, WONG, Meng Weng
Published 2022

Traffic rule formalization for autonomous vehicle

by BHUIYAN, Hanif, GOVERNATORI, Guido, RAKOTONIRAINY, Andry, WONG, Meng Weng, MAHAJAN, Avishkar
Published 2022

An end-to-end pipeline from law text to logical formulas

by RANTA, Aarne, LISTENMAA, Inari, SOH, Jerrold, WONG, Meng Weng (HUANG Mingrong)
Published 2022

Traffic rule formalization for autonomous vehicle

by BHUIYAN, Hanif, GOVERNATORI, Guido, RAKOTONIRAINY, Andry, WONG, Meng Weng, MAHAJAN, Avishkar
Published 2022

Compliance through model checking

by MAHAJAN, Avishkar, STRECKER Martin, WATT, Seng Joe, WONG, Meng Weng (HUANG Mingrong)
Published 2022

Driving-decision making of autonomous vehicle according to Queensland overtaking traffic rules

by BHUIYAN, Hanif, GOVERNATORI, Guido, MAHAJAN, Avishkar, RAKOTONIRAINY, Andry, WONG, Meng Weng (HUANG Mingrong)
Published 2022