17 citations · 23 across the 5 of their papers we have counts for
11 papers · 1 filter
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza +2
DLV2 is an AI tool for Knowledge Representation and Reasoning which supports Answer Set Programming (ASP) - a logic-based declarative formalism, successfully used in both academic…
Extending Answer Set Programming with Rational Numbers
Francesco Pacenza, Jessica Zangari
Answer Set Programming (ASP) is a widely used declarative programming paradigm that has shown great potential in solving complex computational problems. However, the inability to n…
Rethinking Answer Set Programming Templates
Mario Alviano, Giovambattista Ianni, Francesco Pacenza +1
In imperative programming, the Domain-Driven Design methodology helps in coping with the complexity of software development by materializing in code the invariants of a domain of i…
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…
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…
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries
Alessio Fiorentino, Jessica Zangari, Marco Manna
The W3C Web Ontology Language (OWL) is a powerful knowledge representation formalism at the basis of many semantic-centric applications. Since its unrestricted usage makes reasonin…