Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Optimizing Answer Set Computation via Heuristic-Based Decomposition   Answer Set Programming (ASP) is a purely declarative formalism developed in
the field of logic programming and nonmonotonic reasoning: computational
problems are encoded by logic programs whose answer sets, corresponding to
solutions, are computed by an ASP system. Different, semantically equivalent,
programs can be defined for the same problem; however, performance of systems
evaluating them might significantly vary. We propose an approach for
automatically transforming an input logic program into an equivalent one that
can be evaluated more efficiently. One can make use of existing
tree-decomposition techniques for rewriting selected rules into a set of
multiple ones; the idea is to guide and adaptively apply them on the basis of
proper new heuristics, to obtain a smart rewriting algorithm to be integrated
into an ASP system. The method is rather general: it can be adapted to any
system and implement different preference policies. Furthermore, we define a
set of new heuristics tailored at optimizing grounding, one of the main phases
of the ASP computation; we use them in order to implement the approach into the
ASP system DLV, in particular into its grounding subsystem I-DLV, and carry out
an extensive experimental activity for assessing the impact of the proposal.
Under consideration in Theory and Practice of Logic Programming (TPLP).

36
The categories of this paper are: cmp-lg
29
The categories of this paper are: funct-an
30
The categories of this paper are: q-alg
10
The categories of this paper are: q-bio
37
The categories of this paper are: supr-con
14
The categories of this paper are: math-ph
8
The categories of this paper are: hep-ex
27
The categories of this paper are: comp-gas
31
The categories of this paper are: ao-sci
35
The categories of this paper are: mtrl-th
9
The categories of this paper are: nlin
3
The categories of this paper are: physics
24
The categories of this paper are: dg-ga
19
The categories of this paper are: eess
6
The categories of this paper are: astro-ph
12
The categories of this paper are: nucl-th