This page contains links to various material I intend to present at the IJCAI-09 tutorial on formal argumentation. First of all, there is the main presentation, containing an overview of abstract argumentation semantics, discussion games and the interaction between argument construction and argumentation semantics. Apart from that, I also intend to treat an algorithm for computing the stable, semi-stable and preferred extensions. If time allows, I'd also like to touch upon some more advanced issues, like how to reason about priorities between arguments, as well as some philosophical aspects such as the methodology of formalism construction and a discussion on the entailment principles that should ideally be implemented and how this depends on the nature of the reasoning process.
Not all material is contained in these presentations. I sometimes work out an example on the whiteboard, while using the beamer to display the relevant definitions. Similarly, the tutorial will contain several excercises, in order for the audience to gain some hands on experience with fundamental argumentation concepts.