Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The DIAMOND System for Argumentation: Preliminary Report   Abstract dialectical frameworks (ADFs) are a powerful generalisation of
Dung's abstract argumentation frameworks. In this paper we present an answer
set programming based software system, called DIAMOND (DIAlectical MOdels
eNcoDing). It translates ADFs into answer set programs whose stable models
correspond to models of the ADF with respect to several semantics (i.e.
admissible, complete, stable, grounded).

22
The categories of this paper are: chao-dyn
10
The categories of this paper are: q-bio
37
The categories of this paper are: supr-con
28
The categories of this paper are: alg-geom
25
The categories of this paper are: patt-sol
14
The categories of this paper are: math-ph
18
The categories of this paper are: econ
4
The categories of this paper are: cond-mat
29
The categories of this paper are: funct-an
2
The categories of this paper are: math
5
The categories of this paper are: gr-qc
24
The categories of this paper are: dg-ga
23
The categories of this paper are: solv-int
26
The categories of this paper are: bayes-an
33
The categories of this paper are: plasm-ph
20
The categories of this paper are: acc-phys