An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games

Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi

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 inf…