-
Views
-
Cite
Cite
Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi, Timed concurrent language for argumentation with maximum parallelism, Journal of Logic and Computation, Volume 33, Issue 4, June 2023, Pages 712–737, https://doi.org/10.1093/logcom/exad009
- Share Icon Share
Abstract
The timed concurrent language for argumentation (tcla) is a framework to model concurrent interactions between communicating agents that reason and take decisions through argumentation processes, also taking into account the temporal duration of the performed actions. Time is a crucial factor when dealing with dynamic environments in real-world applications, where agents must act in a coordinated fashion to reach their own goals. However, modelling complex interactions and concurrent processes may be challenging without the help of proper languages and tools. In this paper, we discuss the use of tcla for practical purposes and provide a working implementation of the language, endowed with a user interface available online, that serves the dual purpose of aiding the research in this field and facilitating the development of multi-agent systems based applications.