Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies
  on ASP Solving   The traditional ground-and-solve approach to Answer Set Programming (ASP)
suffers from the grounding bottleneck, which makes large-scale problem
instances unsolvable. Lazy grounding is an alternative approach that
interleaves grounding with solving and thus uses space more efficiently. The
limited view on the search space in lazy grounding poses unique challenges,
however, and can have adverse effects on solving performance. In this paper we
present a novel characterization of degrees of laziness in grounding for ASP,
i.e. of compromises between lazily grounding as little as possible and the
traditional full grounding upfront. We investigate how these degrees of
laziness compare to each other formally as well as, by means of an experimental
analysis using a number of benchmarks, in terms of their effects on solving
performance. Our contributions are the introduction of a range of novel lazy
grounding strategies, a formal account on their relationships and their
correctness, and an investigation of their effects on solving performance.
Experiments show that our approach performs significantly better than
state-of-the-art lazy grounding in many cases.

29
The categories of this paper are: funct-an
35
The categories of this paper are: mtrl-th
20
The categories of this paper are: acc-phys
18
The categories of this paper are: econ
4
The categories of this paper are: cond-mat
8
The categories of this paper are: hep-ex
16
The categories of this paper are: stat
17
The categories of this paper are: q-fin
6
The categories of this paper are: astro-ph
37
The categories of this paper are: supr-con
15
The categories of this paper are: nucl-ex
33
The categories of this paper are: plasm-ph
19
The categories of this paper are: eess
7
The categories of this paper are: hep-th
31
The categories of this paper are: ao-sci
14
The categories of this paper are: math-ph