WizArg: Visual Argumentation Framework Solving Wizard

Authors:
Ignasi Gómez-Sebastià;Juan Carlos Nieves
Affiliations:
Knowledge Engineering and Machine Learning Group;Knowledge Engineering and Machine Learning Group
Venue:
Proceedings of the 2010 conference on Artificial Intelligence Research and Development: Proceedings of the 13th International Conference of the Catalan Association for Artificial Intelligence
Year:
2010

Citing 10
Cited 1

On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

Artificial Intelligence
An Argumentation Based Framework for Defeasible and Qualitative Reasoning

SBIA '96 Proceedings of the 13th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
An Efficient Argumentation Framework for Negtiating Autonomous Agents

MAAMAW '99 Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering
Defeasible logic programming: an argumentative approach

Theory and Practice of Logic Programming
Argumentation in artificial intelligence

Artificial Intelligence
Computational properties of argument systems satisfying graph-theoretic constraints

Artificial Intelligence
Preferred extensions as stable models*

Theory and Practice of Logic Programming
SCC-recursiveness: a general schema for argumentation semantics

Artificial Intelligence
CF2-extensions as Answer-set Models

Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory

Fundamenta Informaticae - Logic, Language, Information and Computation

CF2-extensions as Answer-set Models

Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010

Quantified Score

Hi-index	0.00

Visualization

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 Π2(p) -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-based-argumentation semantics) and the WizArg front-end (a generic software component that allows users to create, save, and load their own argumentation frameworks).