  We present an approach for representing abstract argumentation frameworks
based on an encoding into classical higher-order logic. This provides a uniform
framework for computer-assisted assessment of abstract argumentation frameworks
using interactive and automated reasoning tools. This enables the formal
analysis and verification of meta-theoretical properties as well as the
flexible generation of extensions and labellings with respect to well-known
argumentation semantics.
