2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.AI2003★ 1 cited
Comparisons and Computation of Well-founded Semantics for Disjunctive Logic Programs
Kewen Wang, Lizhu Zhou
Much work has been done on extending the well-founded semantics to general disjunctive logic programs and various approaches have been proposed. However, these semantics are differ…
cs.AI2002★ 2 cited
Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary report
Torsten Schaub, Kewen Wang
We analyze the problem of defining well-founded semantics for ordered logic programs within a general framework based on alternating fixpoint theory. We start by showing that gener…