2.1 - Motivation

2.2 - Labelling-semantics

2.3 - Correspondence between extensions and labelings

2.4 - Live practice

2.5- Arguing using proof dialogues

2.6 - Conclusion