Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Discovering Classes of Strongly Equivalent Logic Programs   In this paper we apply computer-aided theorem discovery technique to discover
theorems about strongly equivalent logic programs under the answer set
semantics. Our discovered theorems capture new classes of strongly equivalent
logic programs that can lead to new program simplification rules that preserve
strong equivalence. Specifically, with the help of computers, we discovered
exact conditions that capture the strong equivalence between a rule and the
empty set, between two rules, between two rules and one of the two rules,
between two rules and another rule, and between three rules and two of the
three rules.

12
The categories of this paper are: nucl-th
31
The categories of this paper are: ao-sci
22
The categories of this paper are: chao-dyn
21
The categories of this paper are: adap-org
20
The categories of this paper are: acc-phys
25
The categories of this paper are: patt-sol
30
The categories of this paper are: q-alg
28
The categories of this paper are: alg-geom
13
The categories of this paper are: quant-ph
0
The categories of this paper are: hep-ph
2
The categories of this paper are: math
27
The categories of this paper are: comp-gas
10
The categories of this paper are: q-bio
29
The categories of this paper are: funct-an
23
The categories of this paper are: solv-int
35
The categories of this paper are: mtrl-th