Theory and Applications of Formal Argumentation