Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Design and Implementation of Aggregate Functions in the DLV System   Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows
for expressing every property of finite structures that is decidable in the
complexity class SigmaP2 (= NP^NP). Despite this high expressiveness, there are
some simple properties, often arising in real-world applications, which cannot
be encoded in a simple and natural manner. Especially properties that require
the use of arithmetic operators (like sum, times, or count) on a set or
multiset of elements, which satisfy some conditions, cannot be naturally
expressed in classic DLP.
  To overcome this deficiency, we extend DLP by aggregate functions in a
conservative way. In particular, we avoid the introduction of constructs with
disputed semantics, by requiring aggregates to be stratified. We formally
define the semantics of the extended language (called DLP^A), and illustrate
how it can be profitably used for representing knowledge. Furthermore, we
analyze the computational complexity of DLP^A, showing that the addition of
aggregates does not bring a higher cost in that respect. Finally, we provide an
implementation of DLP^A in DLV -- a state-of-the-art DLP system -- and report
on experiments which confirm the usefulness of the proposed extension also for
the efficiency of computation.

27
The categories of this paper are: comp-gas
0
The categories of this paper are: hep-ph
10
The categories of this paper are: q-bio
5
The categories of this paper are: gr-qc
7
The categories of this paper are: hep-th
23
The categories of this paper are: solv-int
35
The categories of this paper are: mtrl-th
9
The categories of this paper are: nlin
21
The categories of this paper are: adap-org
13
The categories of this paper are: quant-ph
16
The categories of this paper are: stat
19
The categories of this paper are: eess
8
The categories of this paper are: hep-ex
30
The categories of this paper are: q-alg
18
The categories of this paper are: econ
12
The categories of this paper are: nucl-th