A study of robustness in abstract argumentation frameworks

In this paper we describe a work-in-progress on the study of robustness (intended as how many changes can an Argumentation Framework sustain before its semantics turns into another): in particular we present a tool able to visualize Argumentation Frameworks as nodes in a graph and highlight those with certain properties, like a specific semantics or attacks' type. This tool will be used to find relations between an Argumentation Framework and the sets of extensions accepted by each semantics and eventually, to extract new theorems in order to cope with some of the open problem related to abstract argumentation.