Ka-Shu Wong

Publication Activity (10 Years)

Years Active: 2003-2008
Publications (10 Years): 0

Publications

Samir Chopra, Aditya Ghose, Thomas Andreas Meyer, Ka-Shu Wong
Iterated Belief Change and the Recovery Axiom. J. Philos. Log. 37 (5) (2008)
Ka-Shu Wong
Sound and Complete Inference Rules for SE-Consequence. J. Artif. Intell. Res. 31 (2008)
Ka-Shu Wong
A Stronger Notion of Equivalence for Logic Programs. ICLP (2007)
Ka-Shu Wong
Deducing Logic Programs. ICLP (2006)
Richard Booth, Thomas Andreas Meyer, Ka-Shu Wong
A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total Preorder. KR (2006)
Ron van der Meyden, Ka-Shu Wong
Complete Axiomatizations for Reasoning about Knowledge and Branching Time. Stud Logica 75 (1) (2003)