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,...
share
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
∙
11/11/2019
ASP-Core-2 Input Language Format
Standardization of solver input languages has been a main driver for the...
research
∙
10/21/2019
A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders
Deductive formalisms have been strongly developed in recent years; among...
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
∙
09/15/2017
LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report
Logic-based paradigms are nowadays widely used in many different fields,...
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
∙
05/14/2014
The Design of the Fifth Answer Set Programming Competition
Answer Set Programming (ASP) is a well-established paradigm of declarati...
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
∙
06/14/2012