Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Kewen Wang

Knowledge Compilation in Multi-Agent Epistemic Logics


Jun 28, 2018
Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen


  Access Paper or Ask Questions

Syntax-Preserving Belief Change Operators for Logic Programs


Mar 17, 2017
Sebastian Binnewies, Zhiqiang Zhuang, Kewen Wang, Bela Stantic

* 44 pages, submitted to ACM Transactions on Computational Logic 

  Access Paper or Ask Questions

A Distance-based Paraconsistent Semantics for DL-Lite


Jun 03, 2015
Xiaowang Zhang, Kewen Wang, Zhe Wang, Yue Ma, Guilin Qi

* 17 pages 

  Access Paper or Ask Questions

Preferential Multi-Context Systems


Apr 25, 2015
Kedian Mu, Kewen Wang, Lian Wen


  Access Paper or Ask Questions

Random Logic Programs: Linear Model


Jun 23, 2014
Kewen Wang, Lian Wen, Kedian Mu

* Theory and Practice of Logic Programming 15 (2014) 818-853 
* 33 pages. To appear in: Theory and Practice of Logic Programming 

  Access Paper or Ask Questions

An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence


Apr 29, 2014
James P. Delgrande, Kewen Wang

* In: Proceedings of 15th International Workshop on Non-Monotonic Reasoning 

  Access Paper or Ask Questions

A semantic framework for preference handling in answer set programming


Jan 23, 2003
Torsten Schaub, Kewen Wang

* 39 pages. To appear in Theory and Practice of Logic Programming 

  Access Paper or Ask Questions

Comparisons and Computation of Well-founded Semantics for Disjunctive Logic Programs


Jan 16, 2003
Kewen Wang, Lizhu Zhou

* 31 pages 

  Access Paper or Ask Questions

Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary report


Jul 15, 2002
Torsten Schaub, Kewen Wang

* Proceedings of the Workshop on Preferences in Artificial Intelligence and Constraint In: Proceedings of the Workshop on Non-Monotonic Reasoning (NMR'2002) 

  Access Paper or Ask Questions