Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The Attack as Strong Negation, Part I   We add strong negation $N$ to classical logic and interpret the attack
relation of "$x$ attacks $y$" in argumentation as $(x\to 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.

30
The categories of this paper are: q-alg
23
The categories of this paper are: solv-int
37
The categories of this paper are: supr-con
4
The categories of this paper are: cond-mat
14
The categories of this paper are: math-ph
19
The categories of this paper are: eess
22
The categories of this paper are: chao-dyn
18
The categories of this paper are: econ
27
The categories of this paper are: comp-gas
9
The categories of this paper are: nlin
31
The categories of this paper are: ao-sci
21
The categories of this paper are: adap-org
11
The categories of this paper are: hep-lat
15
The categories of this paper are: nucl-ex
32
The categories of this paper are: atom-ph
13
The categories of this paper are: quant-ph