1 citations · 2 across the 5 of their papers we have counts for
5 papers
Capturing the polynomial hierarchy by second-order revised Krom logic
Kexu Wang, Shiguang Feng, Xishun Zhao
We study the expressive power and complexity of second-order revised Krom logic (SO-KROM). On ordered finite structures, we show that its existential fragment -KROM$^r…
Fuzzy Labeling Semantics for Quantitative Argumentation
Zongshun Wang, Yuping Shen
Evaluating argument strength in quantitative argumentation systems has received increasing attention in the field of abstract argumentation. The concept of acceptability degree is…
Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas
Yuping Shen, Xishun Zhao
\emph{Canonical (logic) programs} (CP) refer to normal logic programs augmented with connective . In this paper we address the question of whether CP are \emph{succinctly…
Proof System for Plan Verification under 0-Approximation Semantics
Xishun Zhao, Yuping Shen
In this paper a proof system is developed for plan verification problems and under 0-approximation semantics for . Here, for a plan $…
NP-Logic Systems and Model-Equivalence Reductions
Yuping Shen, Xishun Zhao
In this paper we investigate the existence of model-equivalence reduction between NP-logic systems which are logic systems with model existence problem in NP. It is shown that amon…