Inferring Preferred Extensions by Pstable Semantics
José Luis Carballido, Juan Carlos Nieves, Mauricio Osorio · INTELIGENCIA ARTIFICIAL · 2009
Given an argumentation framework AF, we present a normal program Psi_{AF}, such that the preferred extensions of AF correspond exactly with the pstable models of Psi_{AF}. Moreover, we motivate the notion of suitable codifications for developing metainterpreters of argumentation theory based on logic programming.