Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Grounding Recursive Aggregates: Preliminary Report   Problem solving in Answer Set Programming consists of two steps, a first
grounding phase, systematically replacing all variables by terms, and a second
solving phase computing the stable models of the obtained ground program. An
intricate part of both phases is the treatment of aggregates, which are popular
language constructs that allow for expressing properties over sets. In this
paper, we elaborate upon the treatment of aggregates during grounding in Gringo
series 4. Consequently, our approach is applicable to grounding based on
semi-naive database evaluation techniques. In particular, we provide a series
of algorithms detailing the treatment of recursive aggregates and illustrate
this by a running example.

35
The categories of this paper are: mtrl-th
17
The categories of this paper are: q-fin
34
The categories of this paper are: chem-ph
26
The categories of this paper are: bayes-an
5
The categories of this paper are: gr-qc
18
The categories of this paper are: econ
33
The categories of this paper are: plasm-ph
12
The categories of this paper are: nucl-th
30
The categories of this paper are: q-alg
19
The categories of this paper are: eess
25
The categories of this paper are: patt-sol
2
The categories of this paper are: math
31
The categories of this paper are: ao-sci
0
The categories of this paper are: hep-ph
28
The categories of this paper are: alg-geom
23
The categories of this paper are: solv-int