Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Revisiting Explicit Negation in Answer Set Programming   A common feature in Answer Set Programming is the use of a second negation,
stronger than default negation and sometimes called explicit, strong or
classical negation. This explicit negation is normally used in front of atoms,
rather than allowing its use as a regular operator. In this paper we consider
the arbitrary combination of explicit negation with nested expressions, as
those defined by Lifschitz, Tang and Turner. We extend the concept of reduct
for this new syntax and then prove that it can be captured by an extension of
Equilibrium Logic with this second negation. We study some properties of this
variant and compare to the already known combination of Equilibrium Logic with
Nelson's strong negation. Under consideration for acceptance in TPLP.

37
The categories of this paper are: supr-con
23
The categories of this paper are: solv-int
33
The categories of this paper are: plasm-ph
27
The categories of this paper are: comp-gas
10
The categories of this paper are: q-bio
17
The categories of this paper are: q-fin
0
The categories of this paper are: hep-ph
15
The categories of this paper are: nucl-ex
5
The categories of this paper are: gr-qc
22
The categories of this paper are: chao-dyn
16
The categories of this paper are: stat
8
The categories of this paper are: hep-ex
28
The categories of this paper are: alg-geom
31
The categories of this paper are: ao-sci
3
The categories of this paper are: physics
21
The categories of this paper are: adap-org