Part 1a: Extension-based and labelling semantics
Consider the argumentation graph $\mathcal{F} = (A,R)$ with $A = \{a,b,c,d,e\}$ and $R = \{ (b,a), (b,c), (c,b), (c,a), (a,d), (d,e)\}$.
- Calculate stable, preferred, complete and grounded extensions.
- For each extension obtained, write the equivalent labelling $Lab$.
Part 1b: Extension-based and labelling semantics
Consider the argumentation graph below.
- Calculate grounded, stable, preferred, semi-stable, complete and ideal extensions.
- For each extension obtained, write the equivalent labelling $Lab$.
Part 2: Proof dialogues
Consider the argumentation graph below.