2 Hits in 1.1 sec

An Efficient Java-Based Solver for Abstract Argumentation Frameworks: jArgSemSAT

Federico Cerutti, Mauro Vallati, Massimiliano Giacomin
2017 International journal on artificial intelligence tools  
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

Web-based Argumentation [article]

2016 arXiv   pre-print
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 [26] 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