papers
Publications (11)
cs.AI2002
Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary report
Torsten Schaub, Kewen Wang
cs.AI2014
An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence
James P. Delgrande, Kewen Wang
cs.AI2003
Comparisons and Computation of Well-founded Semantics for Disjunctive Logic Programs
Kewen Wang, Lizhu Zhou
cs.AI2017
Syntax-Preserving Belief Change Operators for Logic Programs
Sebastian Binnewies, Zhiqiang Zhuang, Kewen Wang +1
cs.AI2014
Random Logic Programs: Linear Model
Kewen Wang, Lian Wen, Kedian Mu
physics.optics2019
Transverse photon spin beyond interfaces
Liang Peng, Lingfu Duan, Kewen Wang +6
physics.app-ph2018
Giant Asymmetric Radiation from an Ultrathin Bianisotropic Metamaterial
Liang Peng, Kewen Wang, Yihao Yang +4
cs.AI2003
A semantic framework for preference handling in answer set programming
Torsten Schaub, Kewen Wang
cs.AI2018
Knowledge Compilation in Multi-Agent Epistemic Logics
Liangda Fang, Kewen Wang, Zhe Wang +1
cs.AI2015
A Distance-based Paraconsistent Semantics for DL-Lite
Xiaowang Zhang, Kewen Wang, Zhe Wang +2
cs.AI2015
Preferential Multi-Context Systems
Kedian Mu, Kewen Wang, Lian Wen