[Back]


Publications in Scientific Journals:

H. Beck, M. Dao-Tran, T. Eiter, C. Folie:
"Stream Reasoning with LARS";
KI - Künstliche Intelligenz, 32 (2018), 2-3; 193 - 195.



English abstract:
Stream reasoning is the task of continuously deriving conclusions on streaming data. Different research communities emphasize different aspects such as throughput vs. expressiveness, yet a mathematical model to describe the declarative semantics of such systems has been missing. This motivated the logic-based framework LARS for analytic reasoning over streams. However, it is also attractive for applications by itself.

Keywords:
Stream reasoning, Incremental reasoning


"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s13218-018-0537-9

Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_277126.pdf


Created from the Publication Database of the Vienna University of Technology.