research
∙
07/12/2023
Rethinking Answer Set Programming Templates
In imperative programming, the Domain-Driven Design methodology helps in...
share
research
∙
08/05/2021
I-DLV-sr: A Stream Reasoning System based on I-DLV
We introduce a novel logic-based system for reasoning over data streams,...
research
∙
09/22/2020
A Machine Learning guided Rewriting Approach for ASP Logic Programs
Answer Set Programming (ASP) is a declarative logic formalism that allow...
research
∙
08/06/2020
Incremental maintenance of overgrounded logic programs with tailored simplifications
The repeated execution of reasoning tasks is desirable in many applicati...
research
∙
08/05/2020
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries
The W3C Web Ontology Language (OWL) is a powerful knowledge representati...
research
∙
07/29/2019
Precomputing Datalog evaluation plans in large-scale scenarios
With the more and more growing demand for semantic Web services over lar...
research
∙
07/22/2019
Incremental Answer Set Programming with Overgrounding
Repeated executions of reasoning tasks for varying inputs are necessary ...
research
∙
07/19/2019
Enhancing magic sets with an application to ontological reasoning
Magic sets are a Datalog to Datalog rewriting technique to optimize quer...
research
∙
12/23/2018
Optimizing Answer Set Computation via Heuristic-Based Decomposition
Answer Set Programming (ASP) is a purely declarative formalism developed...
research
∙
09/28/2018
Efficiently Coupling the I-DLV Grounder with ASP Solvers
We present I-DLV+MS , a new Answer Set Programming (ASP) system that int...
research
∙
07/21/2017