{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T22:01:19Z","timestamp":1747173679873,"version":"3.40.5"},"reference-count":51,"publisher":"Cambridge University Press (CUP)","issue":"6","license":[{"start":{"date-parts":[[2023,7,5]],"date-time":"2023-07-05T00:00:00Z","timestamp":1688515200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2023,11]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Time is a crucial factor in modelling dynamic behaviours of intelligent agents: activities have a determined temporal duration in a real-world environment, and previous actions influence agents\u2019 behaviour. In this paper, we propose a language for modelling concurrent interaction between agents that also allows the specification of temporal intervals in which particular actions occur. Such a language exploits a timed version of Abstract Argumentation Frameworks to realise a shared memory used by the agents to communicate and reason on the acceptability of their beliefs with respect to a given time interval. An interleaving model on a single processor is used for basic computation steps, with maximum parallelism for time elapsing. Following this approach, only one of the enabled agents is executed at each moment. To demonstrate the capabilities of the language, we also show how it can be used to model interactions such as debates and dialogue games taking place between intelligent agents. Lastly, we present an implementation of the language that can be accessed via a web interface.<\/jats:p>","DOI":"10.1017\/s1471068423000194","type":"journal-article","created":{"date-parts":[[2023,7,5]],"date-time":"2023-07-05T03:40:51Z","timestamp":1688528451000},"page":"1307-1333","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":0,"title":["An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games"],"prefix":"10.1017","volume":"23","author":[{"given":"STEFANO","family":"BISTARELLI","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1260-4672","authenticated-orcid":false,"given":"CARLO","family":"TATICCHI","sequence":"additional","affiliation":[]},{"given":"MARIA CHIARA","family":"MEO","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2023,7,5]]},"reference":[{"key":"S1471068423000194_ref37","doi-asserted-by":"crossref","unstructured":"Pnueli, A. 1977. The temporal logic of programs. In 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October\u20131 November 1977. IEEE Computer Society, 46\u201357.","DOI":"10.1109\/SFCS.1977.32"},{"key":"S1471068423000194_ref26","first-page":"1679","article-title":"Strategic argumentation","volume":"8","author":"Governatori","year":"2021","journal-title":"FLAP"},{"key":"S1471068423000194_ref42","doi-asserted-by":"crossref","unstructured":"Rago, A. and Toni, F. 2017. Quantitative argumentation debates with votes for opinion polling. In PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, 30 October\u20133 November 2017, Proceedings. LNCS, vol. 10621. Springer, 369\u2013385.","DOI":"10.1007\/978-3-319-69131-2_22"},{"key":"S1471068423000194_ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-98197-0_16"},{"volume-title":"Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning","year":"1995","author":"Walton","key":"S1471068423000194_ref49"},{"key":"S1471068423000194_ref39","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exi046"},{"key":"S1471068423000194_ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2009.02.001"},{"key":"S1471068423000194_ref45","unstructured":"Saraswat, V. A. , Jagadeesan, R. and Gupta, V. 1994. Foundations of timed concurrent constraint programming. In Proceedings of LICS 1994 - 9th Annual Symposium on Logic in Computer Science. IEEE Computer Society, 71\u201380."},{"key":"S1471068423000194_ref11","unstructured":"Bistarelli, S. and Taticchi, C. 2020. A concurrent language for argumentation. In Proceedings of AI $^3$ 2020 - 4th Workshop on Advances In Argumentation In Artificial Intelligence, Co-located with AIxIA 2020 - 19th International Conference of the Italian Association for Artificial Intelligence. CEUR Workshop Proceedings, vol. 2777. CEUR-WS.org, 75\u201389."},{"key":"S1471068423000194_ref2","unstructured":"Amgoud, L. , Parsons, S. and Maudet, N. 2000. Arguments, dialogue, and negotiation. In ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, 20\u201325 August 2000. IOS Press, 338\u2013342."},{"key":"S1471068423000194_ref14","unstructured":"Brewka, G. and Woltran, S. 2010. Abstract dialectical frameworks. In Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, 9\u201313 May 2010. AAAI Press."},{"key":"S1471068423000194_ref30","doi-asserted-by":"crossref","unstructured":"McBurney, P. and Parsons, S. 2009. Dialogue games for agent argumentation. In Argumentation in Artificial Intelligence. Springer, 261\u2013280.","DOI":"10.1007\/978-0-387-98197-0_13"},{"volume-title":"Introduction to Multiagent Systems","year":"2002","author":"Wooldridge","key":"S1471068423000194_ref50"},{"key":"S1471068423000194_ref24","unstructured":"Emele, C. D. , Norman, T. J. and Parsons, S. 2011. Argumentation strategies for plan resourcing. In Proceedings of AAMAS 2011 - 10th International Conference on Autonomous Agents and Multiagent Systems. IFAAMAS, 913\u2013920."},{"key":"S1471068423000194_ref8","doi-asserted-by":"crossref","unstructured":"Bistarelli, S. , Gabbrielli, M. , Meo, M. C. and Santini, F. 2008. Timed soft concurrent constraint programs. In Proceedings of COORDINATION 2008 - 10th International Conference on Coordination Models and Languages. LNCS, vol. 5052. Springer, 50\u201366.","DOI":"10.1007\/978-3-540-68265-3_4"},{"key":"S1471068423000194_ref19","doi-asserted-by":"crossref","unstructured":"Cayrol, C. and Lagasquie-Schiex, M. 2005. On the acceptability of arguments in bipolar argumentation frameworks. In Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, 6\u20138 July 2005, Proceedings. LNCS, vol. 3571. Springer, 378\u2013389.","DOI":"10.1007\/11518655_33"},{"key":"S1471068423000194_ref47","doi-asserted-by":"crossref","unstructured":"Saraswat, V. A. and Rinard, M. 1990. Concurrent constraint programming. In Proceedings of POPL 1990 - 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press, 232\u2013245.","DOI":"10.1145\/96709.96733"},{"key":"S1471068423000194_ref10","doi-asserted-by":"crossref","unstructured":"Bistarelli, S. , Meo, M. C. and Taticchi, C. 2022. Timed concurrent language for argumentation: An interleaving approach. In PADL. LNCS, vol. 13165. Springer, 101\u2013116.","DOI":"10.1007\/978-3-030-94479-7_7"},{"key":"S1471068423000194_ref16","doi-asserted-by":"crossref","unstructured":"Busi, N. , Gorrieri, R. and Zavattaro, G. 2000. Process calculi for coordination: From linda to javaspaces. In Proceedings of AMAST 2000 - 8th International Conference on Algebraic Methodology and Software Technology. LNCS, vol. 1816. Springer, 198\u2013212.","DOI":"10.1007\/3-540-45499-3_16"},{"key":"S1471068423000194_ref35","unstructured":"Paget, N. , Pigozzi, G. and Barreteau, O. 2013. Information sharing for natural resources management. Presented at EUMAS 2013 - 11th European Workshop on Multi-Agent Systems."},{"key":"S1471068423000194_ref51","unstructured":"Yuan, T. , Svansson, V. , Moore, D. and Grierson, A. 2007. A computer game for abstract argumentation. In Proceedings of the 7th Workshop on Computational Models of Natural Argument (CMNA07)."},{"key":"S1471068423000194_ref9","unstructured":"Bistarelli, S. , Meo, M. C. and Taticchi, C. 2021. Timed concurrent language for argumentation. In Proceedings of CILC 2021 - 36th Italian Conference on Computational Logic. CEUR Workshop Proceedings, vol. 3002. CEUR-WS.org, 1\u201315."},{"key":"S1471068423000194_ref25","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1129"},{"key":"S1471068423000194_ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1217856.1217859"},{"key":"S1471068423000194_ref4","doi-asserted-by":"crossref","unstructured":"Azhar, M. Q. and Sklar, E. I. 2016. Analysis of empirical results on argumentation-based dialogue to support shared decision making in a human-robot team. In 25th IEEE International Symposium on Robot and Human Interactive Communication, RO-MAN 2016, New York, NY, USA, 26\u201331 August 2016. IEEE, 861\u2013866.","DOI":"10.1109\/ROMAN.2016.7745220"},{"key":"S1471068423000194_ref41","unstructured":"Procaccia, A. D. and Rosenschein, J. S. 2005. Extensive-form argumentation games. In EUMAS, 312\u2013322."},{"key":"S1471068423000194_ref44","unstructured":"Rotstein, N. D. , Moguillansky, M. O. , Garcia, A. J. and Simari, G. R. 2008. An abstract argumentation framework for handling dynamics. In Proceedings of the Argument, Dialogue and Decision Workshop in NMR 2008, 131\u2013139."},{"key":"S1471068423000194_ref48","doi-asserted-by":"publisher","DOI":"10.1007\/s13218-014-0307-2"},{"key":"S1471068423000194_ref6","doi-asserted-by":"crossref","unstructured":"Barrett, C. W. , Sebastiani, R. , Seshia, S. A. and Tinelli, C. 2021. Satisfiability modulo theories. In Handbook of Satisfiability - Second Edition, Biere, A. , Heule, M. , van Maaren, H. and Walsh, T. , Eds. Frontiers in Artificial Intelligence and Applications, vol. 336. IOS Press, 1267\u20131329.","DOI":"10.3233\/FAIA201017"},{"key":"S1471068423000194_ref13","doi-asserted-by":"crossref","unstructured":"Bistarelli, S. and Taticchi, C. 2023. A concurrent language for modelling agents arguing on a shared argumentation space. Argument & Computation Pre-press, Pre-press, 1\u201328.","DOI":"10.3233\/AAC-210027"},{"key":"S1471068423000194_ref3","unstructured":"Aristotle. 1928. Topics. Clarendon Press, Oxford, UK. Ross, W. D. trans. (original work c. 350 B.C.)."},{"key":"S1471068423000194_ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2014.07.056"},{"key":"S1471068423000194_ref17","doi-asserted-by":"crossref","unstructured":"Caminada, M. 2006a. On the issue of reinstatement in argumentation. In Proceedings of JELIA 2006 - 10th European Conference on Logics in Artificial Intelligence. LNCS, vol. 4160. Springer, 111\u2013123.","DOI":"10.1007\/11853886_11"},{"key":"S1471068423000194_ref27","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"S1471068423000194_ref5","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888911000166"},{"key":"S1471068423000194_ref32","volume-title":"LNCS","volume":"92","author":"Milner","year":"1980"},{"key":"S1471068423000194_ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2018.08.001"},{"key":"S1471068423000194_ref20","unstructured":"Cobo, M. L. , Mart\u00ednez, D. C. and Simari, G. R. 2010. On admissibility in timed abstract argumentation frameworks. In Proceedings of ECAI 2010 - 19th European Conference on Artificial Intelligence. Frontiers in Artificial Intelligence and Applications, vol. 215. IOS Press, 1007\u20131008."},{"key":"S1471068423000194_ref46","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1996.0064"},{"key":"S1471068423000194_ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2017.11.009"},{"key":"S1471068423000194_ref36","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exv007"},{"key":"S1471068423000194_ref29","doi-asserted-by":"crossref","unstructured":"Marcos, M. J. , Falappa, M. A. and Simari, G. R. 2010. Dynamic argumentation in abstract dialogue frameworks. In Proceedings of ArgMAS 2010 - 7th International Workshop on Argumentation in Multi-Agent Systems, Revised, Selected and Invited Papers. LNCS, vol. 6614. Springer, 228\u2013247.","DOI":"10.1007\/978-3-642-21940-5_14"},{"key":"S1471068423000194_ref23","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"S1471068423000194_ref12","doi-asserted-by":"crossref","unstructured":"Bistarelli, S. and Taticchi, C. 2021. Introducing a tool for concurrent argumentation. In Proceedings of JELIA 2021 - 17th European Conference on Logics in Artificial Intelligence. LNCS, vol. 12678. Springer, 18\u201324.","DOI":"10.1007\/978-3-030-75775-5_2"},{"key":"S1471068423000194_ref1","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"key":"S1471068423000194_ref18","unstructured":"Caminada, M. 2006b. Semi-stable semantics. In Proceedings of COMMA 2006 - 1st International Conference on Computational Models of Argument. Frontiers in Artificial Intelligence and Applications, vol. 144. IOS Press, 121\u2013130."},{"key":"S1471068423000194_ref31","doi-asserted-by":"publisher","DOI":"10.1023\/A:1024787301515"},{"key":"S1471068423000194_ref40","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008278309945"},{"key":"S1471068423000194_ref21","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1999.2879"},{"key":"S1471068423000194_ref28","unstructured":"Mann, N. and Hunter, A. 2008. Argumentation using temporal knowledge. In Proceedings of COMMA 2008 - 2nd International Conference on Computational Models of Argument. Frontiers in Artificial Intelligence and Applications, vol. 172. IOS Press, 204\u2013215."},{"key":"S1471068423000194_ref22","first-page":"309","article-title":"A timed linda language and its denotational semantics","volume":"63","author":"de Boer","year":"2004","journal-title":"Fundamenta Informaticae"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068423000194","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T12:06:42Z","timestamp":1706098002000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068423000194\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,5]]},"references-count":51,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2023,11]]}},"alternative-id":["S1471068423000194"],"URL":"https:\/\/doi.org\/10.1017\/s1471068423000194","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"type":"print","value":"1471-0684"},{"type":"electronic","value":"1475-3081"}],"subject":[],"published":{"date-parts":[[2023,7,5]]},"assertion":[{"value":"\u00a9 The Author(s), 2023. Published by Cambridge University Press","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}