activity
20032022
most citedA Framework for Easing the Development of Applications Embedding Answer Set Programming

17 citations · 17 across the 3 of their papers we have counts for

collaborators
Showing 2022Show all

1 paper · 1 filter

cs.AI2022

A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)

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…