Preferred extensions as stable models

Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés

Given an argumentation framework AF, we introduce a mapping function that constructs a disjunctive logic program P, such that the preferred extensions of AF correspond to the stabl…