2.1 - Motivation
2.2 - Labelling-semantics
2.3 - Correspondence between extensions and labelings
2.4- Arguing using proof dialogues
2.5 - Conclusion