Odinaldo Rodrigues. Introducing EqArgSolver: An argumentation solver using equational semantics. In Matthias Thimm, Federico Cerutti, Hannes Strass, Mauro Vallati, editors, Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam, Germany, September 13, 2016. Volume 1672 of CEUR Workshop Proceedings, pages 22-33, CEUR-WS.org, 2016. [doi]
Abstract is missing.