# The Attack as Strong Negation, Part I

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

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 10 Jun 2015.

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

- [Abstract argumentation and answer set programming: two faces of Nelson's logic](https://mlsanity.com/paper/2203.14405/) (2022)

## Abstract (arXiv)

We add strong negation N to classical logic and interpret the attack relation of "x attacks y" in argumentation as (x→ Ny). We write a corresponding object level (using N only) classical theory for each argumentation network and show that the classical models of this theory correspond exactly to the complete extensions of the argumentation network. We show by example how this approach simplifies the study of abstract argumentation networks. We compare with other translations of abstract argumentation networks into logic, such as classical predicate logic or modal logics, or logic programming, and we also compare with Abstract Dialectical Frameworks.