Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Constraint Answer Set Programming without Grounding   Extending ASP with constraints (CASP) enhances its expressiveness and
performance. This extension is not straightforward as the grounding phase,
present in most ASP systems, removes variables and the links among them, and
also causes a combinatorial explosion in the size of the program. Several
methods to overcome this issue have been devised: restricting the constraint
domains (e.g., discrete instead of dense), or the type (or number) of models
that can be returned. In this paper we propose to incorporate constraints into
s(ASP), a goal-directed, top-down execution model which implements ASP while
retaining logical variables both during execution and in the answer sets. The
resulting model, s(CASP), can constrain variables that, as in CLP, are kept
during the execution and in the answer sets. s(CASP) inherits and generalizes
the execution model of s(ASP) and is parametric w.r.t. the constraint solver.
We describe this novel execution model and show through several examples the
enhanced expressiveness of s(CASP) w.r.t. ASP, CLP, and other CASP systems. We
also report improved performance w.r.t. other very mature, highly optimized ASP
systems in some benchmarks. This paper is under consideration for publication
in Theory and Practice of Logic Programming (TPLP).

4
The categories of this paper are: cond-mat
25
The categories of this paper are: patt-sol
36
The categories of this paper are: cmp-lg
8
The categories of this paper are: hep-ex
33
The categories of this paper are: plasm-ph
26
The categories of this paper are: bayes-an
23
The categories of this paper are: solv-int
35
The categories of this paper are: mtrl-th
12
The categories of this paper are: nucl-th
16
The categories of this paper are: stat
27
The categories of this paper are: comp-gas
30
The categories of this paper are: q-alg
31
The categories of this paper are: ao-sci
7
The categories of this paper are: hep-th
0
The categories of this paper are: hep-ph
24
The categories of this paper are: dg-ga