Travelled to:1 × Portugal
1 × USA
Collaborated with:∅ R.Booth T.A.Meyer
Talks about:program (2) logic (2) day (2) stronger (1) preorder (1) equival (1) notion (1) better (1) total (1) revis (1)
Person: Ka-Shu Wong
DBLP: Wong:Ka=Shu
Contributed to:
20072006
2006Wrote 3 papers:
- ICLP-2007-Wong #equivalence #logic programming #source code
- A Stronger Notion of Equivalence for Logic Programs (KSW), pp. 453–454.
- ICLP-2006-Wong #logic programming #source code
- Deducing Logic Programs (KSW), pp. 471–472.
- KR-2006-BoothMW #how
- A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total Preorder (RB, TAM, KSW), pp. 230–238.