Graph Theoretical Properties of Logic Based Argumentation Frameworks

Bruno Yun (Université de Montpellier), Madalina Croitoru (Université de Montpellier), Pierre Bisquert (INRIA GraphIK), Srdjan Vesic (CRIL - CNRS, Université d'Artois)

Abstract

Argumentation frameworks instantiated from logical language allow for argument generation over real knowledge. We present some graph theoretical properties of argumentation graphs obtained from an inconsistent knowledge base expressed using existential rules.