# A Formalisation of Abstract Argumentation in Higher-Order Logic

arXiv: https://arxiv.org/abs/2110.09174 · HTML: https://mlsanity.com/paper/2110.09174/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- Builds on 2 of its 60 references that are in the map.
- First posted on arXiv 18 Oct 2021.

## Builds on (most cited first, 2 of 2)

- [Extensional Higher-Order Paramodulation in Leo-III](https://mlsanity.com/paper/1907.11501/) (2019)
- [AFRA: Argumentation framework with recursive attacks](https://mlsanity.com/paper/1810.04886/) (2018)

## Built on by (most cited first, 1 of 1)

- [An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic](https://mlsanity.com/paper/2312.08375/) (2023)

## Abstract (arXiv)

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.