research
∙
05/17/2023
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels
Artificial Intelligence plays a main role in supporting and improving sm...
share
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...
research
∙
10/02/2020
Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming
The manipulation of articulated objects is of primary importance in Robo...
research
∙
09/19/2020
Proceedings 36th International Conference on Logic Programming (Technical Communications)
Since the first conference held in Marseille in 1982, ICLP has been the ...
research
∙
08/06/2020
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
Decision support systems play an important role in medical fields as the...
research
∙
11/11/2019
ASP-Core-2 Input Language Format
Standardization of solver input languages has been a main driver for the...
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/19/2019
Enhancing magic sets with an application to ontological reasoning
Magic sets are a Datalog to Datalog rewriting technique to optimize quer...
research
∙
07/21/2017
On the Computation of Paracoherent Answer Sets
Answer Set Programming (ASP) is a well-established formalism for nonmono...
research
∙
11/16/2016
Driving CDCL Search
The CDCL algorithm is the leading solution adopted by state-of-the-art s...
research
∙
08/02/2016
Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper)
Answer Set Programming (ASP) is a popular logic programming paradigm tha...
research
∙
12/18/2015
Ontology-driven Information Extraction
Homogeneous unstructured data (HUD) are collections of unstructured docu...
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
∙
10/08/2012
Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues
Datalog is one of the best-known rule-based languages, and extensions of...
research
∙
04/27/2012
Magic Sets for Disjunctive Datalog Programs
In this paper, a new technique for the optimization of (partially) bound...
research
∙
11/04/2002
The DLV System for Knowledge Representation and Reasoning
This paper presents the DLV system, which is widely considered the state...
research
∙
03/08/2000