Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Ticker: A System for Incremental ASP-based Stream Reasoning   In complex reasoning tasks, as expressible by Answer Set Programming (ASP),
problems often permit for multiple solutions. In dynamic environments, where
knowledge is continuously changing, the question arises how a given model can
be incrementally adjusted relative to new and outdated information. This paper
introduces Ticker, a prototypical engine for well-defined logical reasoning
over streaming data. Ticker builds on a practical fragment of the recent
rule-based language LARS which extends Answer Set Programming for streams by
providing flexible expiration control and temporal modalities. We discuss
Ticker's reasoning strategies: First, the repeated one-shot solving mode calls
Clingo on an ASP encoding. We show how this translation can be incrementally
updated when new data is streaming in or time passes by. Based on this, we
build on Doyle's classic justification-based truth maintenance system (TMS) to
update models of non-stratified programs. Finally, we empirically compare the
obtained evaluation mechanisms. This paper is under consideration for
acceptance in TPLP.

35
The categories of this paper are: mtrl-th
8
The categories of this paper are: hep-ex
10
The categories of this paper are: q-bio
36
The categories of this paper are: cmp-lg
13
The categories of this paper are: quant-ph
30
The categories of this paper are: q-alg
37
The categories of this paper are: supr-con
3
The categories of this paper are: physics
23
The categories of this paper are: solv-int
32
The categories of this paper are: atom-ph
12
The categories of this paper are: nucl-th
21
The categories of this paper are: adap-org
9
The categories of this paper are: nlin
0
The categories of this paper are: hep-ph
19
The categories of this paper are: eess
31
The categories of this paper are: ao-sci