1 Hit in 0.77 sec

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

Federico Cerutti, Mauro Vallati, Massimiliano Giacomin
2017 International journal on artificial intelligence tools  
We show that jArgSemSAT can be easily integrated in existing argumentation systems (1) as an off-the-shelf, standalone, library; (2) as a Tweety compatible library; and (3) as a fast and robust web service  ...  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  ...  Acknowledgments The authors thank (in alphabetical order) Prof. Chris Reed and Dr.  ... 
doi:10.1142/s0218213017500026 fatcat:3xs5vl5jgjgqtc362wswl7wvau