WizArg: Visual Argumentation Framework Solving Wizard

Extension-based argumentation semantics have shown to be a suitable approach for performing practical reasoning. An important concern in extensionbased-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 components: The WizArg Argumentation library (that can be used by any generic software to solve argumentation frameworks and answer questions about extension-basedargumentation semantics) and the WizArg front-end (a generic software component that allows users to create, save, and load their own argumentation frameworks). Keywords. Argumentation Theory, Argumentation-reasoning tool, Answer-set programming.

• Type: Journal
• Year: 2010
• Where: CCIA
• Authors: Ignasi Gómez-Sebastià, Juan Carlos Nieves
• Keywords: Argumentation, Argumentation Frameworks, Artificial Intelligence, CCIA 2010, Extension-based Argumentation Semantics