Arguing About the Existence of Conflicts

Abstract

. In this paper we formalise a meta-argumentation framework as an ASPIC + extension which enables reasoning about conflicts between formulae of the argumentation language. The result is a standard abstract argumentation framework that can be evaluated via grounded semantics.