Publications in Scientific Journals:
H. Beck, M. Dao-Tran, T. Eiter, C. Folie:
"Stream Reasoning with LARS";
KI - Künstliche Intelligenz,
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.
Stream reasoning, Incremental reasoning
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Electronic version of the publication:
Created from the Publication Database of the Vienna University of Technology.