research
∙
08/26/2022
A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)
The paper investigates the relative expressiveness of two logic-based la...
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
∙
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
∙
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
A Framework for Easing the Development of Applications Embedding Answer Set Programming
Answer Set Programming (ASP) is a well-established declarative problem s...
research
∙
01/18/2014
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates
Logic programs with aggregates (LPA) are one of the major linguistic ext...
research
∙
11/04/2002