Encoding argumentation frameworks with set attackers to propositional logic systems

Shuai Tang, Jiachao Wu, Ning Zhou

Argumentation frameworks ($AF$s) have been a useful tool for approximate reasoning. The encoding method is an important approach to formally model $AF$s under related semantics. Th…