Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Dynamic Consistency Checking in Goal-Directed Answer Set Programming   In answer set programming, inconsistencies arise when the constraints placed
on a program become unsatisfiable. In this paper, we introduce a technique for
dynamic consistency checking for our goal-directed method for computing answer
sets, under which only those constraints deemed relevant to the partial answer
set are tested, allowing inconsistent knowledgebases to be successfully
queried. However, the algorithm guarantees that, if a program has at least one
consistent answer set, any partial answer set returned will be a subset of some
consistent answer set. To appear in Theory and Practice of Logic Programming
(TPLP).

16
The categories of this paper are: stat
33
The categories of this paper are: plasm-ph
34
The categories of this paper are: chem-ph
27
The categories of this paper are: comp-gas
32
The categories of this paper are: atom-ph
30
The categories of this paper are: q-alg
31
The categories of this paper are: ao-sci
20
The categories of this paper are: acc-phys
35
The categories of this paper are: mtrl-th
13
The categories of this paper are: quant-ph
11
The categories of this paper are: hep-lat
2
The categories of this paper are: math
36
The categories of this paper are: cmp-lg
17
The categories of this paper are: q-fin
22
The categories of this paper are: chao-dyn
25
The categories of this paper are: patt-sol