Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On the Computation of Paracoherent Answer Sets   Answer Set Programming (ASP) is a well-established formalism for nonmonotonic
reasoning. An ASP program can have no answer set due to cyclic default
negation. In this case, it is not possible to draw any conclusion, even if this
is not intended. Recently, several paracoherent semantics have been proposed
that address this issue, and several potential applications for these semantics
have been identified. However, paracoherent semantics have essentially been
inapplicable in practice, due to the lack of efficient algorithms and
implementations. In this paper, this lack is addressed, and several different
algorithms to compute semi-stable and semi-equilibrium models are proposed and
implemented into an answer set solving framework. An empirical performance
comparison among the new algorithms on benchmarks from ASP competitions is
given as well.

31
The categories of this paper are: ao-sci
5
The categories of this paper are: gr-qc
24
The categories of this paper are: dg-ga
12
The categories of this paper are: nucl-th
33
The categories of this paper are: plasm-ph
7
The categories of this paper are: hep-th
20
The categories of this paper are: acc-phys
13
The categories of this paper are: quant-ph
11
The categories of this paper are: hep-lat
22
The categories of this paper are: chao-dyn
4
The categories of this paper are: cond-mat
0
The categories of this paper are: hep-ph
2
The categories of this paper are: math
29
The categories of this paper are: funct-an
32
The categories of this paper are: atom-ph
19
The categories of this paper are: eess