4 papers
Evidential-Based Higher-Order Set Argumentation Framework
Shuai Tang
Evidential argumentation extends Dung's abstract argumentation by requiring arguments and interactions to be backed by chains of evidence rooted in prima-facie elements. However, e…
Encoding higher-order argumentation frameworks with supports to propositional logic systems
Shuai Tang
Argumentation frameworks (s) have been extensively developed, but existing higher-order bipolar s suffer from critical limitations: attackers and supporters are restricted…
Encoding argumentation frameworks with set attackers to propositional logic systems
Shuai Tang, Jiachao Wu, Ning Zhou
Argumentation frameworks (s) have been a useful tool for approximate reasoning. The encoding method is an important approach to formally model s under related semantics. Th…
Encoding Argumentation Frameworks to Propositional Logic Systems
Shuai Tang, Jiachao Wu, Ning Zhou
This paper generalizes the encoding of argumentation frameworks beyond the classical 2-valued propositional logic system () to 3-valued propositional logic systems (s)…