no code implementations • 26 Apr 2022 • Chunliu Dou, Shaojuan Wu, Xiaowang Zhang, Zhiyong Feng, Kewen Wang
The relation classification is to identify semantic relations between two entities in a given text.
no code implementations • 27 Jun 2018 • Liangda Fang, Kewen Wang, Zhe Wang, Ximing Wen
Epistemic logics are a primary formalism for multi-agent systems but major reasoning tasks in such epistemic logics are intractable, which impedes applications of multi-agent epistemic logics in automatic planning.
no code implementations • 15 Mar 2017 • Sebastian Binnewies, Zhiqiang Zhuang, Kewen Wang, Bela Stantic
Recent methods have adapted the well-established AGM and belief base frameworks for belief change to cover belief revision in logic programs.
no code implementations • 25 Apr 2015 • Kedian Mu, Kewen Wang, Lian Wen
In a given PMCS, its contexts are divided into several parts according to the total preorder relation over them, moreover, only information flows from a context to ones of the same part or less preferred parts are allowed to occur.
no code implementations • 23 Jun 2014 • Kewen Wang, Lian Wen, Kedian Mu
This paper proposes a model, the linear model, for randomly generating logic programs with low density of rules and investigates statistical properties of such random logic programs.
no code implementations • 29 Apr 2014 • James P. Delgrande, Kewen Wang
In this paper we investigate forgetting in disjunctive logic programs, where forgetting an atom from a program amounts to a reduction in the signature of that program.
no code implementations • 9 Jan 2013 • Xiaowang Zhang, Kewen Wang, Zhe Wang, Yue Ma, Guilin Qi
DL-Lite is an important family of description logics.