Characterizing stage argumentation semantics based on stable abducible semantics

Abstract We define a new logic programming semantics in terms of abducible atoms. We use it to characterize the stage extensions of an argumentation framework AF by means of an associated normal program PAF . We also define the stage semantics for a special type of normal programs and present a similar characterization