A Propositional Logical Encoding of Enriched Interactions in Abstract Argumentation Graphs
Résumé
This chapter aims at providing logical encodings for translating interactions in an argumentation graph themselves into propositional knowledge bases. This translation will be used for identifying or redefining some properties of argumentation graphs. The graphs we consider are used to formalize abstract argumentation with at least two different kinds of interaction (attack and support) and also recursive interactions.