{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T03:45:14Z","timestamp":1777434314338,"version":"3.51.4"},"reference-count":25,"publisher":"SAGE Publications","issue":"3","license":[{"start":{"date-parts":[[2024,4,24]],"date-time":"2024-04-24T00:00:00Z","timestamp":1713916800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"},{"start":{"date-parts":[[2024,4,24]],"date-time":"2024-04-24T00:00:00Z","timestamp":1713916800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Argument &amp; Computation"],"published-print":{"date-parts":[[2025,10]]},"abstract":"<jats:p>\n                    Recent advancements in algorithms for abstract argumentation make it possible now to solve reasoning problems even with argumentation frameworks of large size, as demonstrated by the results of the various editions of the International Competition on Computational Models of Argumentation (ICCMA). However, the solvers participating to the competition may be hard to use for non-expert programmers, especially if they need to incorporate these algorithms in their own code instead of simply using the command-line interface. Moreover, some ICCMA solvers focus on the ICCMA tracks, and do not implement algorithms for other problems. In this paper we describe\n                    <jats:monospace>pygarg<\/jats:monospace>\n                    , a Python implementation of the SAT-based approach used in the argumentation solver\n                    <jats:monospace>CoQuiAAS<\/jats:monospace>\n                    . Contrary to\n                    <jats:monospace>CoQuiAAS<\/jats:monospace>\n                    and most of the participants to the various editions of ICCMA,\n                    <jats:monospace>pygarg<\/jats:monospace>\n                    incorporates all problems that have been considered in the main track of any edition of ICCMA. We show how to easily use\n                    <jats:monospace>pygarg<\/jats:monospace>\n                    via a command-line interface inspired by ICCMA competitions, and then how it can be used in other Python scripts as a third-party library.\n                  <\/jats:p>","DOI":"10.3233\/aac-230019","type":"journal-article","created":{"date-parts":[[2024,4,26]],"date-time":"2024-04-26T13:56:10Z","timestamp":1714139770000},"page":"425-430","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":2,"title":["pygarg: A Python engine for argumentation"],"prefix":"10.1177","volume":"16","author":[{"given":"Jean-Guy","family":"Mailly","sequence":"first","affiliation":[{"name":"IRIT, Universit\u00e9 Toulouse Capitole, France"}]}],"member":"179","published-online":{"date-parts":[[2024,4,24]]},"reference":[{"key":"e_1_3_3_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-86772-0_2"},{"key":"e_1_3_3_3_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2022.103742"},{"key":"e_1_3_3_4_2","first-page":"59","author":"Besnard P.","year":"2004","unstructured":"Besnard P., Doutre S., Checking the acceptability of a set of arguments, in: 10th International Workshop on Non-monotonic Reasoning (NMR 2004), 2004, pp.\u00a059\u201364, http:\/\/www.pims.math.ca\/science\/2004\/NMR\/papers.html.","journal-title":"10th International Workshop on Non-monotonic Reasoning (NMR 2004)"},{"key":"e_1_3_3_5_2","first-page":"4","volume":"2171","author":"Bistarelli S.","year":"2018","unstructured":"Bistarelli S., Kotthoff L., Santini F., Taticchi C., Containerisation and dynamic frameworks in ICCMA\u201919, in: Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) Co-Located with the 7th International Conference on Computational Models of Argument (COMMA 2018), CEUR Workshop Proceedings, Vol.\u00a02171, CEUR-WS.org, 2018, pp.\u00a04\u20139, https:\/\/ceur-ws.org\/Vol-2171\/paper_1.pdf.","journal-title":"Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) Co-Located with the 7th International Conference on Computational Models of Argument (COMMA 2018)"},{"key":"e_1_3_3_6_2","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v30i1.10116"},{"key":"e_1_3_3_7_2","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA220167"},{"key":"e_1_3_3_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/11853886_11"},{"key":"e_1_3_3_9_2","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exr033"},{"key":"e_1_3_3_10_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2013.03.001"},{"key":"e_1_3_3_11_2","author":"Delobelle J.","year":"2023","unstructured":"Delobelle J., Mailly J.-G., Rossit J., Revisiting approximate reasoning based on grounded semantics, in: Seventeenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2023), 2023.","journal-title":"Seventeenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2023)"},{"key":"e_1_3_3_12_2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"e_1_3_3_13_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.05.003"},{"key":"e_1_3_3_14_2","first-page":"631","author":"Dvor\u00e1k W.","year":"2018","unstructured":"Dvor\u00e1k W., Dunne P.E., Computational problems in formal argumentation and their complexity, in: Handbook of Formal Argumentation, College Publications, 2018, pp.\u00a0631\u2013688.","journal-title":"Handbook of Formal Argumentation"},{"key":"e_1_3_3_15_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89982-2_67"},{"key":"e_1_3_3_16_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2019.103193"},{"key":"e_1_3_3_17_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94144-8_26"},{"key":"e_1_3_3_18_2","first-page":"4","volume":"3472","author":"J\u00e4rvisalo M.","year":"2023","unstructured":"J\u00e4rvisalo M., Lehtonen T., Niskanen A., Design of ICCMA 2023, 5th international competition on computational models of argumentation: A preliminary report (invited paper), in: Proceedings of the First International Workshop on Argumentation and Applications (Arg&App 2023) Co-Located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), CEUR Workshop Proceedings, Vol.\u00a03472, CEUR-WS.org, 2023, pp.\u00a04\u201310, https:\/\/ceur-ws.org\/Vol-3472\/invited1.pdf.","journal-title":"Proceedings of the First International Workshop on Argumentation and Applications (Arg&App 2023) Co-Located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023)"},{"key":"e_1_3_3_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2015.134"},{"key":"e_1_3_3_20_2","doi-asserted-by":"publisher","DOI":"10.3233\/AAC-210010"},{"key":"e_1_3_3_21_2","first-page":"85","volume":"3472","author":"Mailly J.-G.","year":"2023","unstructured":"Mailly J.-G., Abstract argumentation applied to fair resources allocation: A preliminary study, in: Proceedings of the First International Workshop on Argumentation and Applications (Arg&App 2023) Co-Located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), CEUR Workshop Proceedings, Vol.\u00a03472, CEUR-WS.org, 2023, pp.\u00a085\u201391, https:\/\/ceur-ws.org\/Vol-3472\/short2.pdf.","journal-title":"Proceedings of the First International Workshop on Argumentation and Applications (Arg&App 2023) Co-Located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023)"},{"key":"e_1_3_3_22_2","doi-asserted-by":"crossref","unstructured":"Mailly J.-G. pygarg: A Python engine for argumentation Technical report IRIT\/RR\u20132024\u201302\u2013FR IRIT Institut de Recherche en Informatique de Toulouse 2024.","DOI":"10.3233\/AAC-230019"},{"key":"e_1_3_3_23_2","first-page":"92","volume":"3472","author":"Odekerken D.","year":"2023","unstructured":"Odekerken D., Borg A., Berthold M., Accessible algorithms for applied argumentation, in: Proceedings of the First International Workshop on Argumentation and Applications (Arg&App 2023) Co-Located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), CEUR Workshop Proceedings, Vol.\u00a03472, CEUR-WS.org, 2023, pp.\u00a092\u201398, https:\/\/ceur-ws.org\/Vol-3472\/short3.pdf.","journal-title":"Proceedings of the First International Workshop on Argumentation and Applications (Arg&App 2023) Co-Located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023)"},{"key":"e_1_3_3_24_2","doi-asserted-by":"publisher","DOI":"10.3233\/AAC-200904"},{"key":"e_1_3_3_25_2","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2021\/285"},{"key":"e_1_3_3_26_2","first-page":"357","author":"Verheij B.","year":"1996","unstructured":"Verheij B., Two approaches to dialectical argumentation: Admissible sets and argumentation stages, in: Proceedings of the Eighth Dutch Conference on Artificial Intelligence (NAIC\u201996), 1996, pp.\u00a0357\u2013368.","journal-title":"Proceedings of the Eighth Dutch Conference on Artificial Intelligence (NAIC\u201996)"}],"container-title":["Argument &amp; Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/AAC-230019","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.3233\/AAC-230019","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/AAC-230019","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T11:53:31Z","timestamp":1777377211000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/AAC-230019"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,24]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,10]]}},"alternative-id":["10.3233\/AAC-230019"],"URL":"https:\/\/doi.org\/10.3233\/aac-230019","relation":{},"ISSN":["1946-2166","1946-2174"],"issn-type":[{"value":"1946-2166","type":"print"},{"value":"1946-2174","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,4,24]]}}}