17 citations · 17 across the 4 of their papers we have counts for
3 papers · 1 filter
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…
A Framework for Easing the Development of Applications Embedding Answer Set Programming
Francesco Calimeri, Davide Fuscà, Stefano Germano +2
Answer Set Programming (ASP) is a well-established declarative problem solving paradigm which became widely used in AI and recognized as a powerful tool for knowledge representatio…
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation
Simona Perri, Francesco Scarcello, Nicola Leone
Abduction, first proposed in the setting of classical logics, has been studied with growing interest in the logic programming area during the last years. In this paper we study abd…