{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,9]],"date-time":"2025-11-09T03:38:45Z","timestamp":1762659525181,"version":"3.37.3"},"reference-count":15,"publisher":"World Scientific Pub Co Pte Ltd","issue":"02","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Artif. Intell. Tools"],"published-print":{"date-parts":[[2017,4]]},"abstract":"<jats:p>Dung\u2019s argumentation frameworks are adopted in a variety of applications, from argument-mining, to intelligence analysis and legal reasoning. Despite this broad spectrum of already existing applications, the mostly adopted solver\u2014in virtue of its simplicity\u2014is far from being comparable to the current state-of-the-art solvers. On the other hand, most of the current state-of-the-art solvers are far too complicated to be deployed in real-world settings. In this paper we provide and extensive description of jArgSemSAT, a Java re-implementation of ArgSemSAT. ArgSemSAT represents the best single solver for argumentation semantics with the highest level of computational complexity. 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 freely available on the Web. 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 complexity \u201cStable and Preferred\u201d in the last competition on computational models of argumentation.<\/jats:p>","DOI":"10.1142\/s0218213017500026","type":"journal-article","created":{"date-parts":[[2016,11,3]],"date-time":"2016-11-03T06:29:17Z","timestamp":1478154557000},"page":"1750002","source":"Crossref","is-referenced-by-count":9,"title":["An Efficient Java-Based Solver for Abstract Argumentation Frameworks: jArgSemSAT"],"prefix":"10.1142","volume":"26","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0755-0358","authenticated-orcid":false,"given":"Federico","family":"Cerutti","sequence":"first","affiliation":[{"name":"School of Computing Science &amp; Informatics, Cardiff University Queen\u2019s Buildings, 5 The Parade, Cardiff, CF24 3AA, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Vallati","sequence":"additional","affiliation":[{"name":"School of Computing and Engineering, University of Huddersfield Queensgate, Huddersfield, HD1 3DH, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimiliano","family":"Giacomin","sequence":"additional","affiliation":[{"name":"Dipartimento di Ingegneria dell\u2019Informazione Universit\u00e0 degli Studi di Brescia, Brescia, 25123, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2017,4,12]]},"reference":[{"key":"p_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"p_2","first-page":"121","author":"Caminada M.","year":"2006","journal-title":"UK"},{"key":"p_4","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2005.05.006"},{"key":"p_5","doi-asserted-by":"publisher","DOI":"10.1016\/j.compag.2015.02.012"},{"key":"p_7","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888911000166"},{"key":"p_13","doi-asserted-by":"publisher","DOI":"10.1145\/2500891"},{"key":"p_15","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2013.05.002"},{"key":"p_17","first-page":"176","author":"Cerutti F.","year":"2014","journal-title":"Heidelberg"},{"issue":"2","key":"p_18","first-page":"109","volume":"93","author":"Caminada M.","year":"2009","journal-title":"New Ideas in Argumentation Theory)"},{"key":"p_20","doi-asserted-by":"crossref","first-page":"59","DOI":"10.3233\/SAT190075","volume":"7","author":"Le Berre D.","year":"2010","journal-title":"Boolean Modeling and Computation"},{"key":"p_29","doi-asserted-by":"publisher","DOI":"10.2307\/3001968"},{"key":"p_31","first-page":"1","author":"Li H.","year":"2012","journal-title":"Heidelberg"},{"key":"p_33","first-page":"49","volume":"38","author":"Cayrol C.","year":"2010","journal-title":"J. Artif. Int. Res."},{"key":"p_34","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2014.08.004"},{"key":"p_35","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2011.03.006"}],"container-title":["International Journal on Artificial Intelligence Tools"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218213017500026","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,12]],"date-time":"2022-07-12T04:01:19Z","timestamp":1657598479000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218213017500026"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4]]},"references-count":15,"journal-issue":{"issue":"02","published-online":{"date-parts":[[2017,4,12]]},"published-print":{"date-parts":[[2017,4]]}},"alternative-id":["10.1142\/S0218213017500026"],"URL":"https:\/\/doi.org\/10.1142\/s0218213017500026","relation":{},"ISSN":["0218-2130","1793-6349"],"issn-type":[{"type":"print","value":"0218-2130"},{"type":"electronic","value":"1793-6349"}],"subject":[],"published":{"date-parts":[[2017,4]]}}}