Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Fages' Theorem and Answer Set Programming   We generalize a theorem by Francois Fages that describes the relationship
between the completion semantics and the answer set semantics for logic
programs with negation as failure. The study of this relationship is important
in connection with the emergence of answer set programming. Whenever the two
semantics are equivalent, answer sets can be computed by a satisfiability
solver, and the use of answer set solvers such as smodels and dlv is
unnecessary. A logic programming representation of the blocks world due to
Ilkka Niemelae is discussed as an example.

11
The categories of this paper are: hep-lat
23
The categories of this paper are: solv-int
20
The categories of this paper are: acc-phys
37
The categories of this paper are: supr-con
31
The categories of this paper are: ao-sci
0
The categories of this paper are: hep-ph
24
The categories of this paper are: dg-ga
32
The categories of this paper are: atom-ph
5
The categories of this paper are: gr-qc
18
The categories of this paper are: econ
13
The categories of this paper are: quant-ph
2
The categories of this paper are: math
34
The categories of this paper are: chem-ph
16
The categories of this paper are: stat
9
The categories of this paper are: nlin
36
The categories of this paper are: cmp-lg