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.
Sorted by year (citations)

  1. Thimm, Matthias; Villata, Serena: The first international competition on computational models of argumentation: results and analysis (2017)