16 citations · 26 across the 11 of their papers we have counts for
1 paper · 1 filter
Nicola Leone, Marco Manna, Maria Concetta Morelli +1
The paper investigates the relative expressiveness of two logic-based languages for reasoning over streams, namely LARS Programs -- the language of the Logic-based framework for An…