Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Conflict-driven ASP Solving with External Sources   Answer Set Programming (ASP) is a well-known problem solving approach based
on nonmonotonic logic programs and efficient solvers. To enable access to
external information, HEX-programs extend programs with external atoms, which
allow for a bidirectional communication between the logic program and external
sources of computation (e.g., description logic reasoners and Web resources).
Current solvers evaluate HEX-programs by a translation to ASP itself, in which
values of external atoms are guessed and verified after the ordinary answer set
computation. This elegant approach does not scale with the number of external
accesses in general, in particular in presence of nondeterminism (which is
instrumental for ASP). In this paper, we present a novel, native algorithm for
evaluating HEX-programs which uses learning techniques. In particular, we
extend conflict-driven ASP solving techniques, which prevent the solver from
running into the same conflict again, from ordinary to HEX-programs. We show
how to gain additional knowledge from external source evaluations and how to
use it in a conflict-driven algorithm. We first target the uninformed case,
i.e., when we have no extra information on external sources, and then extend
our approach to the case where additional meta-information is available.
Experiments show that learning from external sources can significantly decrease
both the runtime and the number of considered candidate compatible sets.

36
The categories of this paper are: cmp-lg
7
The categories of this paper are: hep-th
3
The categories of this paper are: physics
14
The categories of this paper are: math-ph
4
The categories of this paper are: cond-mat
15
The categories of this paper are: nucl-ex
10
The categories of this paper are: q-bio
18
The categories of this paper are: econ
30
The categories of this paper are: q-alg
12
The categories of this paper are: nucl-th
20
The categories of this paper are: acc-phys
16
The categories of this paper are: stat
26
The categories of this paper are: bayes-an
27
The categories of this paper are: comp-gas
24
The categories of this paper are: dg-ga
6
The categories of this paper are: astro-ph