Yuping Shen

activity

20102022

most citedCanonical Logic Programs are Succinctly Incomparable with Propositional Formulas

1 citations · 2 across the 5 of their papers we have counts for

collaborators

Showing 2022Show all

2 papers · 1 filter

cs.LO2022

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 $^{r}$ ). On ordered finite structures, we show that its existential fragment $Σ_{1}^{1}$ -KROM$^r…

cs.AI2022★ 1 cited

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…