论文信息 - Timed Concurrent Language for Argumentation: An Interleaving Approach - 字舞流文

Timed Concurrent Language for Argumentation: An Interleaving Approach

Stefano Bistarelli | Maria Chiara Meo | Carlo Taticchi | M. Meo | Stefano Bistarelli | Carlo Taticchi

[1] Stefano Bistarelli,et al. Introducing a Tool for Concurrent Argumentation , 2021, JELIA.

[2] Vijay A. Saraswat,et al. Concurrent constraint programming , 1989, POPL '90.

[3] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.

[4] Radha Jagadeesan,et al. Timed Default Concurrent Constraint Programming , 1996, J. Symb. Comput..

[5] Martin Caminada,et al. On the Issue of Reinstatement in Argumentation , 2006, JELIA.

[6] Guillermo Ricardo Simari,et al. Dynamic Argumentation in Abstract Dialogue Frameworks , 2010, ArgMAS.

[7] Guillermo Ricardo Simari,et al. Modeling time and valuation in structured argumentation frameworks , 2015, Inf. Sci..

[8] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[9] Roberto Gorrieri,et al. Process Calculi for Coordination: From Linda to JavaSpaces , 2000, AMAST.

[10] Maurizio Gabbrielli,et al. A Timed Concurrent Constraint Language , 2000, Inf. Comput..

[11] Jörg Rothe,et al. Verification in incomplete argumentation frameworks , 2018, Artif. Intell..

[12] Maurizio Gabbrielli,et al. Timed Soft Concurrent Constraint Programs , 2008, COORDINATION.