A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
Our large experimental analysis shows that-despite being written in Java-jArgSemSAT would have scored in most of the cases among the three bests solvers for the two semantics with highest computational ... ArgSemSAT represents the best single solver for argumentation semantics with the highest level of computational complexity. ... Matthias Thimm-Universität Koblenz-Landau-for his support in integrating jArgSemSAT with Tweety, and Dr. Alice Toniolo-University of Aberdeenfor integrating jArgSemSAT within CISpaces. ...doi:10.1142/s0218213017500026 fatcat:3xs5vl5jgjgqtc362wswl7wvau
Assumption-Based Argumentation (ABA) is an argumentation framework that has been proposed in the late 20th century. ... can be used via an easy-to-use web interface for visualization of the argument and dispute trees. ... Meanwhile, jArgSemSAT  aims to implement AA efficiently, by re-implementing in Java ArgSemSAT which won 2 nd place at the 2015 International Competition on Computational Model of Argumentation (ICCMA ...arXiv:1612.04469v1 fatcat:uojuqhuvgvfixp2swxp4wqcivi