Meng Weng Wong

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 9

Top Topics

Answer Set Programming

Logical Formulas

Defeasible Reasoning

Stable Model Semantics

Top Venues

Rev. Socionetwork Strateg.

Publications

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