ConArgLang

Timed Concurrent Language for Argumentation
with Maximum Parallelism

Input Program (write or select )

Program Output

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

Shared Memory

Timed AF

Grammar

tcla-m is built on the following grammar.

   program:	multidef? par_action SEMICOLON;

  multidef:	definition+;

definition:	'def ' (CHARS | STRING) '(' ((NUMBER | CHARS | STRING) (COMMA (NUMBER | CHARS | STRING) )*)? ')' COLON action SEMICOLON;

par_action:	action (PAR action)*;

    action:	'(' action ')' ARROW action
		| expression
		| 'add(' (EMP | ARGS) COMMA (EMP | ATKS) ')' ARROW action
		| 'rmv(' (EMP | ARGS) COMMA (EMP | ATKS) ')' ARROW action
		| SUCCESS
		| FAILURE
		| (CHARS | STRING) '(' ((NUMBER | CHARS | STRING) (COMMA (NUMBER | CHARS | STRING) )*)? ')' ARROW action
		;

expression:	'sum(' expression (COMMA expression)* ')'
		| 'gpar(' expression (COMMA expression)* ')'
		| '(' expression ')' (PPLUS '(' expression ')' )+
		| 'check(' NUMBER COMMA (EMP | ARGS) COMMA (EMP | ATKS) ')' ARROW action
		| 'ctest(' NUMBER COMMA (EMP | ARGS) COMMA LABEL COMMA SEM ')' ARROW action
		| 'stest(' NUMBER COMMA (EMP | ARGS) COMMA LABEL COMMA SEM ')' ARROW action
		;

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

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

In addition, sleep(t) -> action acts as a shortcut for:

References

  1. Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi: Timed Concurrent Language for Argumentation: An Interleaving Approach. PADL 2022: 101-116
  2. Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi: Concurrent Argumentation with Time: an Overview. AI³@AI*IA 2021
  3. Carlo Taticchi: A Concurrent Language for Negotiation and Debate with Argumentation. AAMAS 2021: 1840-1841
  4. Stefano Bistarelli, Maria Chiara Meo, Carlo Taticchi: Timed Concurrent Language for Argumentation. CILC 2021: 1-15
  5. Stefano Bistarelli, Carlo Taticchi: Introducing a Tool for Concurrent Argumentation. JELIA 2021: 18-24
  6. Stefano Bistarelli, Carlo Taticchi: A Concurrent Language for Argumentation. AI³@AI*IA 2020: 75-89
  7. Stefano Bistarelli, Carlo Taticchi: Towards an Implementation of a Concurrent Language for Argumentation. AI*IA 2020: 154-171
  8. Stefano Bistarelli, Carlo Taticchi: A Concurrent Language for Argumentation: Preliminary Notes. Gabbrielli's Festschrift 2020: 9:1-9:22