Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Forgetting in Answer Set Programming -- A Survey   Forgetting - or variable elimination - is an operation that allows the
removal, from a knowledge base, of middle variables no longer deemed relevant.
In recent years, many different approaches for forgetting in Answer Set
Programming have been proposed, in the form of specific operators, or classes
of such operators, commonly following different principles and obeying
different properties. Each such approach was developed to address some
particular view on forgetting, aimed at obeying a specific set of properties
deemed desirable in such view, but a comprehensive and uniform overview of all
the existing operators and properties is missing. In this paper, we thoroughly
examine existing properties and (classes of) operators for forgetting in Answer
Set Programming, drawing a complete picture of the landscape of these classes
of forgetting operators, which includes many novel results on relations between
properties and operators, including considerations on concrete operators to
compute results of forgetting and computational complexity. Our goal is to
provide guidance to help users in choosing the operator most adequate for their
application requirements.

10
The categories of this paper are: q-bio
12
The categories of this paper are: nucl-th
22
The categories of this paper are: chao-dyn
30
The categories of this paper are: q-alg
18
The categories of this paper are: econ
27
The categories of this paper are: comp-gas
2
The categories of this paper are: math
3
The categories of this paper are: physics
6
The categories of this paper are: astro-ph
26
The categories of this paper are: bayes-an
13
The categories of this paper are: quant-ph
16
The categories of this paper are: stat
24
The categories of this paper are: dg-ga
0
The categories of this paper are: hep-ph
23
The categories of this paper are: solv-int
28
The categories of this paper are: alg-geom