ConArgLang

Concurrent Language for Argumentation

Input Program (write or select )

Program Output

Hello! To get started, try running some example programs!

Shared Memory

Grammar

cla is built on the following grammar.

   program:	par_action SEMICOLON;

par_action:	action (PAR action)*;

    action:	'(' action ')'
		| 'add(' (EMP | ARGS) ',' (EMP | ATKS) ')' ARROW action
		| 'rmv(' (EMP | ARGS) ',' (EMP | ATKS) ')' ARROW action
		| expression
		| SUCCESS
		| FAILURE
		;

expression:	'(' expression ')'
		| expression_w
		| expression_f
		| 'sum(' expression_w (',' expression_w)* ')'
		| 'gpar(' expression_f (',' expression_f)* ')'
		| expression_f (PPLUS expression)*
		;

expression_w:	'checkw(' (EMP | ARGS) ',' (EMP | ATKS) ')' ARROW action
		| 'testcw(' (EMP | ARGS) ',' LABEL ',' SEM ')' ARROW action
		| 'testsw(' (EMP | ARGS) ',' LABEL ',' SEM ')' ARROW action
		;

expression_f:	'checkf(' (EMP | ARGS) ',' (EMP | ATKS) ')' ARROW action
		| 'testcf(' (EMP | ARGS) ',' LABEL ',' SEM ')' ARROW action
		| 'testsf(' (EMP | ARGS) ',' LABEL ',' SEM ')' ARROW action
		;

     LABEL:	'in' | 'out' | 'undec';

       SEM:	'conflictfree' | 'admissible' | 'complete' | 'grounded' | 'preferred' | 'stable' | 'ideal' | 'semi−stable' | 'eager' | 'stage';

References

  1. Stefano Bistarelli, Carlo Taticchi: A concurrent language for modelling agents arguing on a shared argumentation space. Argument Comput. 15(1): 21-48 (2024)
  2. Stefano Bistarelli, Carlo Taticchi, Maria Chiara Meo: Timed concurrent language for argumentation with maximum parallelism. J. Log. Comput. 33(4): 712-737 (2023)
  3. Stefano Bistarelli, Carlo Taticchi, Maria Chiara Meo: An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games. Theory Pract. Log. Program. 23(6): 1307-1333 (2023)
  4. Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi: Preserving Privacy in a (Timed) Concurrent Language for Argumentation. CILC2024
  5. Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi: Modelling Dialogues in a Concurrent Language for Argumentation. LPNMR 2024: 290-303
  6. Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi: On the Role of Local Arguments in the (Timed) Concurrent Language for Argumentation. AI³@AI*IA 2023
  7. Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi: Timed Concurrent Language for Argumentation: An Interleaving Approach. PADL 2022: 101-116
  8. Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi: Concurrent Argumentation with Time: an Overview. AI³@AI*IA 2021
  9. Carlo Taticchi: A Concurrent Language for Negotiation and Debate with Argumentation. AAMAS 2021: 1840-1841
  10. Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi: Timed Concurrent Language for Argumentation. CILC 2021: 1-15
  11. Stefano Bistarelli, Carlo Taticchi: Introducing a Tool for Concurrent Argumentation. JELIA 2021: 18-24
  12. Stefano Bistarelli, Carlo Taticchi: A Concurrent Language for Argumentation. AI³@AI*IA 2020: 75-89
  13. Stefano Bistarelli, Carlo Taticchi: Towards an Implementation of a Concurrent Language for Argumentation. AI*IA 2020: 154-171
  14. Stefano Bistarelli, Carlo Taticchi: A Concurrent Language for Argumentation: Preliminary Notes. Gabbrielli's Festschrift 2020: 9:1-9:22