Ignasi Gomez-Sebastia: Extension-Based Argumentation Semantics via Logic Programming Semantics with Negation as Failure

Abstract. Extension-based argumentation semantics have been shown to be a suitable approach for performing practical reasoning. Since extension-based ar-gumentation semantics were formalized in terms of relationships between atomic arguments, it has been shown that extension-based argumentation semantics (such as the grounded semantics and stable semantics) can be characterized by logic programming semantics with negation as failure. Recently, it has been shown that argumentation semantics such as the preferred semantics and the CF2 se-mantics can be characterized in terms of logic programming semantics. In this paper, we make a short overview w.r.t. recent results in the close relationship be-tween extension-based semantics and logic programming semantics with nega-tion as failure. We also show that there is enough evidence to believe that the use of declarative approaches based on logic programming semantics with negation as failure is a practical approach for performing practical reasoning following an argumentation reasoning approach.