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 Beck | 1 | 49 | 5.61 |
Minh Dao-Tran | 2 | 395 | 20.39 |
Thomas Eiter | 3 | 7238 | 532.10 |
Christian Folie | 4 | 0 | 0.34 |