Showing math.LOShow all
2 papers · 1 filter
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…