Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Alternative Characterizations for Strong Equivalence of Logic Programs   In this work we present additional results related to the property of strong
equivalence of logic programs. This property asserts that two programs share
the same set of stable models, even under the addition of new rules. As shown
in a recent work by Lifschitz, Pearce and Valverde, strong equivalence can be
simply reduced to equivalence in the logic of Here-and-There (HT). In this
paper we provide two alternatives respectively based on classical logic and
3-valued logic. The former is applicable to general rules, but not for nested
expressions, whereas the latter is applicable for nested expressions but, when
moving to an unrestricted syntax, it generally yields different results from
HT.

21
The categories of this paper are: adap-org
25
The categories of this paper are: patt-sol
27
The categories of this paper are: comp-gas
31
The categories of this paper are: ao-sci
33
The categories of this paper are: plasm-ph
17
The categories of this paper are: q-fin
36
The categories of this paper are: cmp-lg
14
The categories of this paper are: math-ph
24
The categories of this paper are: dg-ga
32
The categories of this paper are: atom-ph
12
The categories of this paper are: nucl-th
18
The categories of this paper are: econ
3
The categories of this paper are: physics
4
The categories of this paper are: cond-mat
28
The categories of this paper are: alg-geom
13
The categories of this paper are: quant-ph