4 citations · 4 across the 1 of their papers we have counts for
3 papers
cs.LO2017
Expressive Stream Reasoning with Laser
Hamid R. Bazoobandi, Harald Beck, Jacopo Urbani
An increasing number of use cases require a timely extraction of non-trivial knowledge from semantically annotated data streams, especially on the Web and for the Internet of Thing…
cs.LO2017
Ticker: A System for Incremental ASP-based Stream Reasoning
Harald Beck, Thomas Eiter, Christian Folie
In complex reasoning tasks, as expressible by Answer Set Programming (ASP), problems often permit for multiple solutions. In dynamic environments, where knowledge is continuously c…
cs.AI2015★ 4 cited
Towards Ideal Semantics for Analyzing Stream Reasoning
Harald Beck, Minh Dao-Tran, Thomas Eiter +1
The rise of smart applications has drawn interest to logical reasoning over data streams. Recently, different query languages and stream processing/reasoning engines were proposed…