Ka-Shu Wong

According to our database, Ka-Shu Wong authored at least 7 papers between 2003 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2009

Forgetting in logic programs.

Ka-Shu Wong

PhD thesis, 2009

2008

Iterated Belief Change and the Recovery Axiom.

Samir Chopra, Aditya Ghose, Thomas Andreas Meyer, Ka-Shu Wong

J. Philos. Log., 2008

Sound and Complete Inference Rules for SE-Consequence.

Ka-Shu Wong

J. Artif. Intell. Res., 2008

2007

A Stronger Notion of Equivalence for Logic Programs.

Ka-Shu Wong

Proceedings of the Logic Programming, 23rd International Conference, 2007

2006

A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total Preorder.

Richard Booth, Thomas Andreas Meyer, Ka-Shu Wong

Proceedings of the Proceedings, 2006

Deducing Logic Programs.

Ka-Shu Wong

Proceedings of the Logic Programming, 22nd International Conference, 2006

2003

Complete Axiomatizations for Reasoning about Knowledge and Branching Time.

Ron van der Meyden, Ka-Shu Wong

Stud Logica, 2003