A Distributed Approach to LARS Stream Reasoning (System paper)

  title={A Distributed Approach to LARS Stream Reasoning (System paper)},
  author={Thomas Eiter and Paul Ogris and Konstantin Schekotihin},
  journal={Theory and Practice of Logic Programming},
  pages={974 - 989}
Abstract Stream reasoning systems are designed for complex decision-making from possibly infinite, dynamic streams of data. Modern approaches to stream reasoning are usually performing their computations using stand-alone solvers, which incrementally update their internal state and return results as the new portions of data streams are pushed. However, the performance of such approaches degrades quickly as the rates of the input data and the complexity of decision problems are growing. This… Expand
Managing caching strategies for stream reasoning with reinforcement learning
Handling Impossible Derivations During Stream Reasoning
Incremental maintenance of overgrounded logic programs with tailored simplifications
Answer Set Programming with Composed Predicate Names


Enhancing the scalability of expressive stream reasoning via input-driven parallelization
LARS: A Logic-Based Framework for Analyzing Reasoning over Streams
Ticker: A system for incremental ASP-based stream reasoning*
Expressive Stream Reasoning with Laser
Answer Update for Rule-Based Stream Reasoning
RDF Stream Reasoning via Answer Set Programming on Modern Big Data Platform
Stream reasoning and complex event processing in ETALIS
The CQL continuous query language: semantic foundations and query execution
Incremental Reasoning on Streams and Rich Background Knowledge
A Native and Adaptive Approach for Unified Processing of Linked Streams and Linked Data