Introducing EqArgSolver: An argumentation solver using equational semantics

In this paper we introduce EqArgSolver, an argumentation solver using equational semantics. EqArgSolver is based on the prototype GRIS submitted to the first International Competition on Computational Models of Argumentation, but provides two major advancements over GRIS. Firstly, it uses the much more e cient discrete version of the Gabbay-Rodrigues Iteration Schema [7], and secondly, it requires at most 1/8 of the memory footprint per node used by GRIS. Experimental results show that EqArgSolver runs up to 12⇥ faster than GRIS and is able to handle a much larger class of argumentation graphs.