3 papers
math.LO2025
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…
math.LO2025
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…
cs.AI2025
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)…