2 citations · 2 across the 4 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.AI2018
The Window Validity Problem in Rule-Based Stream Reasoning
Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau +1
Rule-based temporal query languages provide the expressive power and flexibility required to capture in a natural way complex analysis tasks over streaming data. Stream processing…
cs.AI2018
Stratified Negation in Limit Datalog Programs
Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev +2
There has recently been an increasing interest in declarative data analysis, where analytic tasks are specified using a logical language, and their implementation and optimisation…