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

Stefano Bistarelli, Carlo Taticchi, Maria Chiara Meo. An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games. TPLP, 23(6):1307-1333, November 2023. [doi]

Abstract

Abstract is missing.