Computational Argumentation - Formal Models and Complexity Results (invited talk)