Meng Weng Wong

11 papers C 3Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2023 C conf
Deontics and Time in Contracts: An Executable Semantics for the L4 DSL.
JURIX
Seng Joe Watt, Oliver R. Goodenough, Meng Weng Wong
2023 J jnl
Driving Decision Making of Autonomous Vehicle According to Queensland Overtaking Traffic Rules.
Rev. Socionetwork Strateg.
Hanif Bhuiyan, Guido Governatori, Andry Rakotonirainy, Meng Weng Wong, Avishkar Mahajan
2022 C conf
An End-to-End Pipeline from Law Text to Logical Formulas.
JURIX
Aarne Ranta, Inari Listenmaa, Jerrold Soh, Meng Weng Wong
2022 — conf
Automating Defeasible Reasoning in Law with Answer Set Programming.
ICLP Workshops
How Khang Lim, Avishkar Mahajan, Martin Strecker, Meng Weng Wong
2022 J jnl
Automating Defeasible Reasoning in Law.
CoRR
How Khang Lim, Avishkar Mahajan, Martin Strecker, Meng Weng Wong
2022 J jnl
User Guided Abductive Proof Generation for Answer Set Programming Queries (Extended Version).
CoRR
Avishkar Mahajan, Martin Strecker, Meng Weng Wong
2022 C conf
User Guided Abductive Proof Generation for Answer Set Programming Queries.
PPDP
Avishkar Mahajan, Martin Strecker, Meng Weng Wong
2018 — conf
Implementation of Smart Contracts Using Hybrid Architectures with On and Off-Blockchain Components.
SC²
Carlos Molina-Jiménez, Ioannis Sfyrakis, Ellis Solaiman, Irene C. L. Ng, Meng Weng Wong, Alexis Chun, Jon Crowcroft
2018 J jnl
Implementation of Smart Contracts Using Hybrid Architectures with On- and Off-Blockchain Components.
CoRR
Carlos Molina-Jiménez, Ioannis Sfyrakis, Ellis Solaiman, Irene C. L. Ng, Meng Weng Wong, Alexis Chun, Jon Crowcroft
2006 J jnl
Sender ID: Authenticating E-Mail.
RFC
Jim Lyon, Meng Weng Wong
2006 J jnl
Sender Policy Framework (SPF) for Authorizing Use of Domains in E-Mail, Version 1.
RFC
Meng Weng Wong, Wayne Schlitt