Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Stratified Negation in Limit Datalog Programs   There has recently been an increasing interest in declarative data analysis,
where analytic tasks are specified using a logical language, and their
implementation and optimisation are delegated to a general-purpose query
engine. Existing declarative languages for data analysis can be formalised as
variants of logic programming equipped with arithmetic function symbols and/or
aggregation, and are typically undecidable. In prior work, the language of
$\mathit{limit\ programs}$ was proposed, which is sufficiently powerful to
capture many analysis tasks and has decidable entailment problem. Rules in this
language, however, do not allow for negation. In this paper, we study an
extension of limit programs with stratified negation-as-failure. We show that
the additional expressive power makes reasoning computationally more demanding,
and provide tight data complexity bounds. We also identify a fragment with
tractable data complexity and sufficient expressivity to capture many relevant
tasks.

37
The categories of this paper are: supr-con
26
The categories of this paper are: bayes-an
17
The categories of this paper are: q-fin
13
The categories of this paper are: quant-ph
6
The categories of this paper are: astro-ph
9
The categories of this paper are: nlin
12
The categories of this paper are: nucl-th
20
The categories of this paper are: acc-phys
30
The categories of this paper are: q-alg
25
The categories of this paper are: patt-sol
31
The categories of this paper are: ao-sci
24
The categories of this paper are: dg-ga
29
The categories of this paper are: funct-an
22
The categories of this paper are: chao-dyn
8
The categories of this paper are: hep-ex
4
The categories of this paper are: cond-mat