1 Foundations of Implementations for Formal Argumentation

The current state of the art of general techniques, as well as specific software systems for solving tasks in abstract argumentation frameworks, structured argumentation framework, and approaches for visualizing and analysing argumentation are surveyed.