WizArg: Visual Argumentation Framework Solving Wizard

Abstract. Extension-based argumentation semantics have shown to be a suitable approach for performing practical reasoning. An important concern in extension-based-argumentation semantics is the computational complexity of the decision problems that has been shown to range from NP-complete to Π(p)2-complete. In this paper, we introduce a generic extension-based argumentation semantics solver, that is called WizArg. The WizArg project consists in two main compo-nents: The WizArg Argumentation library (that can be used by any generic software to solve argumentation frameworks and answer questions about extension-based-argumentation semantics) and the WizArg front-end (a generic software component that allows users to create, save, and load their own argumentation frameworks).