Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Interpolation in Equilibrium Logic and Answer Set Programming: the
  Propositional Case   Interpolation is an important property of classical and many non classical
logics that has been shown to have interesting applications in computer science
and AI. Here we study the Interpolation Property for the propositional version
of the non-monotonic system of equilibrium logic, establishing weaker or
stronger forms of interpolation depending on the precise interpretation of the
inference relation. These results also yield a form of interpolation for ground
logic programs under the answer sets semantics. For disjunctive logic programs
we also study the property of uniform interpolation that is closely related to
the concept of variable forgetting.

12
The categories of this paper are: nucl-th
0
The categories of this paper are: hep-ph
19
The categories of this paper are: eess
21
The categories of this paper are: adap-org
16
The categories of this paper are: stat
20
The categories of this paper are: acc-phys
25
The categories of this paper are: patt-sol
7
The categories of this paper are: hep-th
8
The categories of this paper are: hep-ex
35
The categories of this paper are: mtrl-th
31
The categories of this paper are: ao-sci
3
The categories of this paper are: physics
29
The categories of this paper are: funct-an
27
The categories of this paper are: comp-gas
17
The categories of this paper are: q-fin
4
The categories of this paper are: cond-mat