mlsanityData to 7 Oct 2026

A Formalisation of Abstract Argumentation in Higher-Order Logic

arXiv 2110.09174 ↗First posted 18 Oct 2021cs.AI cs.LOcited by 1

Not on the map. Why?

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.

Key facts. Cited by 1 paper in the map (data through 7 Oct 2026). Builds on 2 of its 60 references that are in the map. First posted on arXiv 18 Oct 2021.

Builds on

2 of 60 references.

References · 2

  1. 2019Extensional Higher-Order Paramodulation in Leo-IIIcited by 11
  2. 2018AFRA: Argumentation framework with recursive attackscited by 6

Built on by

Cited by year

Citing papers per year: 2023: 1.

1 paper.

  1. 2023An Encoding of Abstract Dialectical Frameworks into Higher-Order Logiccited by 0