Timed concurrent language for argumentation with maximum parallelism

DOI10.1093/LOGCOM/EXAD009MaRDI QIDQ6162115zbMATH OpenFDO

Authors Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi

Publication date 15 June 2023

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAD009

zbMATH Keywords

argumentation theorysemanticstimed concurrent language

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• : A distributed real-time logic language
• Design and Implementation of ${\mathcal A}_T$ : A Real-Time Action Description Language
• Autonomous agents coordination: action languages meet CLP(\(\mathcal {FD}\)) and Linda
• Reasoning about multi-agent domains using action language \(\mathcal{C}\): a preliminary study

Cited in

(2)

• Strategic and private reasoning with the concurrent (timed) language for argumentation
• Temporal duration-based probabilistic argumentation frameworks

This page was built for publication: Timed concurrent language for argumentation with maximum parallelism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6162115)