Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Stream Reasoning in Temporal Datalog   In recent years, there has been an increasing interest in extending
traditional stream processing engines with logical, rule-based, reasoning
capabilities. This poses significant theoretical and practical challenges since
rules can derive new information and propagate it both towards past and future
time points; as a result, streamed query answers can depend on data that has
not yet been received, as well as on data that arrived far in the past. Stream
reasoning algorithms, however, must be able to stream out query answers as soon
as possible, and can only keep a limited number of previous input facts in
memory. In this paper, we propose novel reasoning problems to deal with these
challenges, and study their computational properties on Datalog extended with a
temporal sort and the successor function (a core rule-based language for stream
reasoning applications).

4
The categories of this paper are: cond-mat
0
The categories of this paper are: hep-ph
27
The categories of this paper are: comp-gas
9
The categories of this paper are: nlin
2
The categories of this paper are: math
29
The categories of this paper are: funct-an
22
The categories of this paper are: chao-dyn
31
The categories of this paper are: ao-sci
33
The categories of this paper are: plasm-ph
34
The categories of this paper are: chem-ph
13
The categories of this paper are: quant-ph
36
The categories of this paper are: cmp-lg
19
The categories of this paper are: eess
6
The categories of this paper are: astro-ph
17
The categories of this paper are: q-fin
8
The categories of this paper are: hep-ex