Stream Reasoning with Sequencing

18 pages•Published: October 23, 2026

Manolis Pitsikalis and Alexander Artikis

Abstract

We present RTEC_rct, an interval-based stream reasoning system. RTEC_rct inherits from its predecessor RTEC_s a compositional and associative sequencing operator. RTEC_rct extends RTEC_s with `Reasoning Cut-off Tuples' (RCTs), a mechanism allowing for monotonic output given a monotonic input. RTEC_rct is also equipped with a bookkeeping policy, guided by RCTs, that identifies the minimal information for correct reasoning. Our empirical, reproducible evaluation on real and synthetic data from three application domains demonstrates the efficacy of RTEC_rct.

Keyphrases: event calculus, knowledge representation, stream reasoning

In: Erika Ábrahám, Nikolaj Bjørner and Michael Rawson (editors). Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning, vol 112, pages 91-108.

Links:	https://easychair.org/publications/paper/lH4k
	https://doi.org/10.29007/j49q

BibTeX entry

@inproceedings{LPAR-26:Stream_Reasoning_with_Sequencing,
  author    = {Manolis Pitsikalis and Alexander Artikis},
  title     = {Stream Reasoning with Sequencing},
  booktitle = {Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning},
  editor    = {Erika Ábrahám and Nikolaj Bjørner and Michael Rawson},
  series    = {EPiC Series in Computing},
  volume    = {112},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/lH4k},
  doi       = {10.29007/j49q},
  pages     = {91-108},
  year      = {2026}}

Download PDF Open PDF in browser