Travelled to:1 × Canada
1 × Italy
1 × United Kingdom
Collaborated with:∅ Z.Wang R.W.Topor L.Zhou F.Lin
Talks about:logic (2) procedur (1) prioriti (1) knowledg (1) fixpoint (1) disjunct (1) descript (1) program (1) general (1) theori (1)
Person: Kewen Wang
DBLP: Wang:Kewen
Contributed to:
2010
2001
2000Wrote 3 papers:
- KR-2010-WangWT #knowledge base #logic
- Revising General Knowledge Bases in Description Logics (ZW, KW, RWT).
- IJCAR-2001-Wang #semantics #top-down
- A Top-Down Procedure for Disjunctive Well-Founded Semantics (KW), pp. 305–317.
- CL-2000-WangZL #fixpoint #logic programming #source code
- Alternating Fixpoint Theory for Logic Programs with Priority (KW, LZ, FL), pp. 164–178.