Zeitschriftenartikel:
H. Beck, M. Dao-Tran, T. Eiter, C. Folie:
"Stream Reasoning with LARS";
KI - Künstliche Intelligenz,
32
(2018),
2-3;
S. 193
- 195.
Kurzfassung englisch:
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.
Schlagworte:
Stream reasoning, Incremental reasoning
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s13218-018-0537-9
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_277126.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.