4 citations · 4 across the 1 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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…