Meng Weng Wong

Orcid: 0000-0003-0419-9443

According to our database1, Meng Weng Wong authored at least 10 papers between 2006 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Driving Decision Making of Autonomous Vehicle According to Queensland Overtaking Traffic Rules.
Rev. Socionetwork Strateg., October, 2023

Deontics and Time in Contracts: An Executable Semantics for the L4 DSL.
Proceedings of the Legal Knowledge and Information Systems, 2023

2022
User Guided Abductive Proof Generation for Answer Set Programming Queries (Extended Version).
CoRR, 2022

Automating Defeasible Reasoning in Law.
CoRR, 2022

User Guided Abductive Proof Generation for Answer Set Programming Queries.
Proceedings of the PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20, 2022

An End-to-End Pipeline from Law Text to Logical Formulas.
Proceedings of the Legal Knowledge and Information Systems, 2022

Automating Defeasible Reasoning in Law with Answer Set Programming.
Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

2018
Implementation of Smart Contracts Using Hybrid Architectures with On and Off-Blockchain Components.
Proceedings of the 8th IEEE International Symposium on Cloud and Service Computing, 2018

2006
Sender Policy Framework (SPF) for Authorizing Use of Domains in E-Mail, Version 1.
RFC, April, 2006

Sender ID: Authenticating E-Mail.
RFC, April, 2006


  Loading...