Title
Stream Reasoning with LARS.
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.
Year
DOI
Venue
2018
10.1007/s13218-018-0537-9
KI
Keywords
Field
DocType
Stream reasoning, Incremental reasoning
Computer science,Stream reasoning,Theoretical computer science,Analytic reasoning,Streaming data,Artificial intelligence,Throughput,Machine learning,Semantics,Expressivity
Journal
Volume
Issue
ISSN
32
2-3
0933-1875
Citations 
PageRank 
References 
0
0.34
8
Authors
4
Name
Order
Citations
PageRank
Harald Beck1495.61
Minh Dao-Tran239520.39
Thomas Eiter37238532.10
Christian Folie400.34