Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Conflict Generalisation in ASP: Learning Correct and Effective
  Non-Ground Constraints   Generalising and re-using knowledge learned while solving one problem
instance has been neglected by state-of-the-art answer set solvers. We suggest
a new approach that generalises learned nogoods for re-use to speed-up the
solving of future problem instances. Our solution combines well-known ASP
solving techniques with deductive logic-based machine learning. Solving
performance can be improved by adding learned non-ground constraints to the
original program. We demonstrate the effects of our method by means of
realistic examples, showing that our approach requires low computational cost
to learn constraints that yield significant performance benefits in our test
cases. These benefits can be seen with ground-and-solve systems as well as
lazy-grounding systems. However, ground-and-solve systems suffer from
additional grounding overheads, induced by the additional constraints in some
cases. By means of conflict minimization, non-minimal learned constraints can
be reduced. This can result in significant reductions of grounding and solving
efforts, as our experiments show. (Under consideration for acceptance in TPLP.)

14
The categories of this paper are: math-ph
22
The categories of this paper are: chao-dyn
18
The categories of this paper are: econ
26
The categories of this paper are: bayes-an
34
The categories of this paper are: chem-ph
24
The categories of this paper are: dg-ga
35
The categories of this paper are: mtrl-th
2
The categories of this paper are: math
11
The categories of this paper are: hep-lat
5
The categories of this paper are: gr-qc
12
The categories of this paper are: nucl-th
15
The categories of this paper are: nucl-ex
33
The categories of this paper are: plasm-ph
30
The categories of this paper are: q-alg
20
The categories of this paper are: acc-phys
13
The categories of this paper are: quant-ph