ArgTools: a backtracking-based solver for abstract argumentation. We present ArgTools, a system for reasoning with abstract argumentation frameworks. The system solves a number of argumentation problems under preferred, stable, complete and grounded semantics. ArgTools is a C++ implementation of a backtracking algorithm.
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Thimm, Matthias; Villata, Serena: The first international competition on computational models of argumentation: results and analysis (2017)