most citedA Machine Learning guided Rewriting Approach for ASP Logic Programs

5 citations · 5 across the 1 of their papers we have counts for

collaborators

2 papers

cs.AI2021

I-DLV-sr: A Stream Reasoning System based on I-DLV

Francesco Calimeri, Marco Manna, Elena Mastria +3

We introduce a novel logic-based system for reasoning over data streams, which relies on a framework enabling a tight, fine-tuned interaction between Apache Flink and the I^2-DLV s…

cs.AI2020★ 5 cited

A Machine Learning guided Rewriting Approach for ASP Logic Programs

Elena Mastria, Jessica Zangari, Simona Perri +1

Answer Set Programming (ASP) is a declarative logic formalism that allows to encode computational problems via logic programs. Despite the declarative nature of the formalism, some…