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 P AF . We also define the stage semantics for a special type of normal programs and present a similar characterization.
展开▼
