Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Well-founded and Stable Semantics of Logic Programs with Aggregates   In this paper, we present a framework for the semantics and the computation
of aggregates in the context of logic programming. In our study, an aggregate
can be an arbitrary interpreted second order predicate or function. We define
extensions of the Kripke-Kleene, the well-founded and the stable semantics for
aggregate programs. The semantics is based on the concept of a three-valued
immediate consequence operator of an aggregate program. Such an operator
approximates the standard two-valued immediate consequence operator of the
program, and induces a unique Kripke-Kleene model, a unique well-founded model
and a collection of stable models. We study different ways of defining such
operators and thus obtain a framework of semantics, offering different
trade-offs between precision and tractability. In particular, we investigate
conditions on the operator that guarantee that the computation of the three
types of semantics remains on the same level as for logic programs without
aggregates. Other results show that, in practice, even efficient three-valued
immediate consequence operators which are very low in the precision hierarchy,
still provide optimal precision.

5
The categories of this paper are: gr-qc
27
The categories of this paper are: comp-gas
9
The categories of this paper are: nlin
33
The categories of this paper are: plasm-ph
34
The categories of this paper are: chem-ph
31
The categories of this paper are: ao-sci
6
The categories of this paper are: astro-ph
22
The categories of this paper are: chao-dyn
12
The categories of this paper are: nucl-th
37
The categories of this paper are: supr-con
15
The categories of this paper are: nucl-ex
28
The categories of this paper are: alg-geom
35
The categories of this paper are: mtrl-th
29
The categories of this paper are: funct-an
8
The categories of this paper are: hep-ex
3
The categories of this paper are: physics