Concurrent Argumentation with Time: an Overview

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, indeed, a crucial factor when dealing with dynamic environments in real-world applications, where agents need to act in a coordinated fashion to reach their own goals. In this paper, we discuss the syntax and the operational semantics of tcla, providing insights on how its constructs can be used to realise complex interactions between agents.