{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T03:45:45Z","timestamp":1777434345980,"version":"3.51.4"},"reference-count":51,"publisher":"SAGE Publications","issue":"1","license":[{"start":{"date-parts":[[2023,2,8]],"date-time":"2023-02-08T00:00:00Z","timestamp":1675814400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Argument &amp; Computation"],"published-print":{"date-parts":[[2024,3,18]]},"abstract":"<jats:p>While agent-based modelling languages naturally implement concurrency, the currently available languages for argumentation do not allow to explicitly model this type of interaction. In this paper we introduce a concurrent language for handling agents arguing and communicating using a shared argumentation space. We also show how to perform high-level operations like persuasion and negotiation through basic belief revision constructs, and present a working implementation of the language and the associated web interface.<\/jats:p>","DOI":"10.3233\/aac-210027","type":"journal-article","created":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T12:14:04Z","timestamp":1676031244000},"page":"21-48","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":3,"title":["A concurrent language for modelling agents arguing on a shared argumentation space"],"prefix":"10.1177","volume":"15","author":[{"given":"Stefano","family":"Bistarelli","sequence":"first","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Perugia, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlo","family":"Taticchi","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Perugia, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2023,2,8]]},"reference":[{"key":"ref001","doi-asserted-by":"publisher","DOI":"10.2307\/2274239"},{"key":"ref002","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02906-6_7"},{"key":"ref003","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exr037"},{"key":"ref004","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-56150-5_7"},{"key":"ref005","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03098-8_20"},{"key":"ref006","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888911000166"},{"key":"ref007","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.04.004"},{"key":"ref008","unstructured":"R.Baumann and G.Brewka, Expanding argumentation frameworks: Enforcing and monotonicity results, in: Computational Models of Argument: Proceedings of COMMA 2010, Desenzano del Garda, Italy, September 8\u201310, 2010, P.Baroni, F.Cerutti, M.Giacomin and G.R.Simari, eds, Frontiers in Artificial Intelligence and Applications, Vol. 216, IOS Press, 2010, pp. 75\u201386."},{"key":"ref009","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2018.08.001"},{"key":"ref010","unstructured":"S.Bistarelli, L.Kotthoff, F.Santini and C.Taticchi, A first overview of ICCMA\u201919, in: Proceedings of the Workshop on Advances In Argumentation In Artificial Intelligence 2020 co-located with the 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020), Online, November 25\u201326, 2020, B.Fazzinga, F.Furfaro and F.Parisi, eds, CEUR Workshop Proceedings, Vol. 2777, CEUR-WS.org, 2020, pp. 90\u2013102."},{"key":"ref011","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v42i3.15109"},{"key":"ref012","unstructured":"S.Bistarelli, M.C.Meo and C.Taticchi, Timed concurrent language for argumentation, in: Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7\u20139, 2021, S.Monica and F.Bergenti, eds, CEUR Workshop Proceedings, Vol. 3002, CEUR-WS.org, 2021, pp. 1\u201315, http:\/\/ceur-ws.org\/Vol-3002\/paper11.pdf."},{"key":"ref013","unstructured":"S.Bistarelli, M.C.Meo and C.Taticchi, Concurrent argumentation with time: An overview, in: Proceedings of the 5th Workshop on Advances in Argumentation in Artificial Intelligence 2021 Co-Located with the 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), Milan, Italy, November 29th, 2021, M.D\u2019Agostino, F.A.D\u2019Asaro and C.Larese, eds, CEUR Workshop Proceedings, Vols 3086, CEUR-WS.org, 2021, http:\/\/ceur-ws.org\/Vol-3086\/short3.pdf."},{"key":"ref014","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-94479-7_7"},{"key":"ref015","unstructured":"S.Bistarelli, F.Santini and C.Taticchi, On looking for invariant operators in argumentation semantics, in: Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, FLAIRS 2018, Melbourne, Florida, USA, May 21\u201323, 2018, 2018, pp. 537\u2013540."},{"key":"ref016","unstructured":"S.Bistarelli and C.Taticchi, A concurrent language for argumentation, in: Proceedings of the Workshop on Advances in Argumentation in Artificial Intelligence 2020 Co-Located with the 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020), Online, November 25\u201326, 2020, B.Fazzinga, F.Furfaro and F.Parisi, eds, CEUR Workshop Proceedings, Vol. 2777, CEUR-WS.org, 2020, pp. 75\u201389."},{"key":"ref017","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-77091-4_10"},{"key":"ref018","doi-asserted-by":"publisher","DOI":"10.4230\/OASIcs.Gabbrielli.9"},{"key":"ref019","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-75775-5_2"},{"key":"ref020","unstructured":"S.Bistarelli and C.Taticchi, A unifying four-state labelling semantics for bridging abstract argumentation frameworks and belief revision, in: Proceedings of the 22nd Italian Conference on Theoretical Computer Science, Bologna, Italy, September 13\u201315, 2021, C.S.Coen and I.Salvo, eds, CEUR Workshop Proceedings, Vol. 3072, CEUR-WS.org, 2021, pp. 93\u2013106, http:\/\/ceur-ws.org\/Vol-3072\/paper8.pdf."},{"key":"ref021","doi-asserted-by":"crossref","unstructured":"G.Boella, S.Kaci and L.W.N.van der Torre, Dynamics in argumentation with single extensions: Attack refinement and the grounded extension (extended version), in: Argumentation in Multi-Agent Systems, 6th International Workshop, ArgMAS 2009. Revised Selected and Invited Papers, Lecture Notes in Computer Science, Vol. 6057, Springer, 2009, pp. 150\u2013159. ISBN 978-3-642-12804-2.","DOI":"10.1007\/978-3-642-12805-9_9"},{"key":"ref022","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02906-6_11"},{"key":"ref023","unstructured":"M.Caminada, Semi-Stable Semantics, in: Computational Models of Argument: Proceedings of COMMA 2006, September 11\u201312, 2006, P.E.Dunne and T.J.M.Bench-Capon, eds, Frontiers in Artificial Intelligence and Applications, Vol. 144, IOS Press, Liverpool, UK, 2006, pp. 121\u2013130, http:\/\/www.booksonline.iospress.nl\/Content\/View.aspx?piid=1932."},{"key":"ref024","unstructured":"M.Caminada, On the issue of reinstatement in argumentation, in: Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Proceedings, Lecture Notes in Computer Science, Liverpool, UK, September 13\u201315, 2006, Vol. 4160, Springer, 2006, pp. 111\u2013123. ISBN 978-3-540-39625-3."},{"key":"ref025","unstructured":"M.Caminada and B.Verheij, On the existence of semi-stable extensions, in: Proceedings of the 22nd Benelux Conference on Artificial Intelligence (BNAIC 2010), 2010."},{"key":"ref026","unstructured":"C.Cayrol, F.D.de Saint-Cyr and M.C.Lagasquie-Schiex, Revision of an argumentation system, in: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16\u201319, 2008, AAAI Press, 2008, pp. 124\u2013134. ISBN 978-1-57735-384-3."},{"key":"ref027","doi-asserted-by":"publisher","DOI":"10.1007\/10722777_12"},{"key":"ref028","unstructured":"S.Coste-Marquis, S.Konieczny, J.Mailly and P.Marquis, Extension enforcement in abstract argumentation as an optimization problem, in: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25\u201331, 2015, Q.Yang and M.J.Wooldridge, eds, AAAI Press, 2015, pp. 2876\u20132882."},{"key":"ref029","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2016.04.003"},{"key":"ref030","unstructured":"S.Doutre, A.Herzig and L.Perrussel, A dynamic logic framework for abstract argumentation, in: Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20\u201324, 2014, 2014."},{"key":"ref031","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-60045-1_32"},{"key":"ref032","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"ref033","unstructured":"W.Dvo\u0159\u00e1k and P.E.Dunne, Computational problems in formal argumentation and their complexity, FLAP 4(8) (2017)."},{"key":"ref034","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2020.103290"},{"key":"ref035","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-61499-105-2-98"},{"key":"ref036","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00078-2"},{"key":"ref037","doi-asserted-by":"crossref","unstructured":"N.Maudet, S.Parsons and I.Rahwan, Argumentation in Multi-Agent Systems: Context and Recent Developments, in: Argumentation in Multi-Agent Systems, Third International Workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006, Revised Selected and Invited Papers, 2006, pp. 1\u201316.","DOI":"10.1007\/978-3-540-75526-5_1"},{"key":"ref038","unstructured":"T.Parr, The Definitive ANTLR 4 Reference, the Pragmatic Bookshelf, 2013. ISBN 9781934356999."},{"key":"ref039","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-98197-0_14"},{"key":"ref040","doi-asserted-by":"publisher","DOI":"10.1080\/19462160903564592"},{"key":"ref041","unstructured":"H.Prakken and M.D.Winter, Abstraction in argumentation: Necessary but dangerous, in: Computational Models of Argument \u2013 Proceedings of COMMA 2018, Warsaw, Poland, 12\u201314 September 2018, S.Modgil, K.Budzynska and J.Lawrence, eds, Frontiers in Artificial Intelligence and Applications, Vol. 305, IOS Press, 2018, pp. 85\u201396."},{"key":"ref042","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2020.08.012"},{"key":"ref043","unstructured":"N.D.Rotstein, M.O.Moguillansky, A.J.Garcia and G.R.Simari, An abstract argumentation framework for handling dynamics, in: Proceedings of the Argument, Dialogue and Decision Workshop in NMR 2008, Sydney, Australia, 2008, pp. 131\u2013139."},{"key":"ref044","doi-asserted-by":"crossref","unstructured":"V.A.Saraswat and M.Rinard, Concurrent constraint programming, in: Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages \u2013 POPL \u201990, ACM Press, San Francisco, California, United States, 1990, pp. 232\u2013245. ISBN 978-0-89791-343-0.","DOI":"10.1145\/96709.96733"},{"key":"ref045","unstructured":"C.Taticchi, A concurrent language for negotiation and debate with argumentation, in: AAMAS \u201921: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3\u20137, 2021, F.Dignum, A.Lomuscio, U.Endriss and A.Now\u00e9, eds, ACM, 2021, pp. 1840\u20131841, https:\/\/dl.acm.org\/doi\/10.5555\/3463952.3464258."},{"key":"ref046","doi-asserted-by":"publisher","DOI":"10.1080\/19462166.2013.869878"},{"key":"ref047","doi-asserted-by":"publisher","DOI":"10.1007\/10719619_16"},{"key":"ref048","unstructured":"B.Verheij, Two approaches to dialectical argumentation: Admissible sets and argumentation stages, in: Proceedings of the Eighth Dutch Conference on Artificial Intelligence (NAIC\u201996), Utrecht, 1996. Utrecht University, J.J.C.Meyer and L.C.van der Gaag, eds, 1996, pp. 357\u2013368."},{"key":"ref049","unstructured":"B.Verheij, A labeling approach to the computation of credulous acceptance in argumentation, in: IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6\u201312, 2007, M.M.Veloso, ed. 2007, pp. 623\u2013628, http:\/\/ijcai.org\/Proceedings\/07\/Papers\/099.pdf."},{"key":"ref050","unstructured":"D.Walton, Types of dialogue, dialectical shifts and fallacies, in: Argumentation Illuminated, Proceedings of the International Society for the Study of Argumentation in Amsterdam, SICSAT, 1992, 1992, pp. 133\u2013147."},{"key":"ref051","doi-asserted-by":"publisher","DOI":"10.2966\/scrip.140217.168"}],"container-title":["Argument &amp; Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/AAC-210027","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.3233\/AAC-210027","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/AAC-210027","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T11:53:25Z","timestamp":1777377205000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/AAC-210027"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,2,8]]},"references-count":51,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2024,3,18]]}},"alternative-id":["10.3233\/AAC-210027"],"URL":"https:\/\/doi.org\/10.3233\/aac-210027","relation":{},"ISSN":["1946-2166","1946-2174"],"issn-type":[{"value":"1946-2166","type":"print"},{"value":"1946-2174","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,2,8]]}}}