Picture for Nicola Leone

Nicola Leone

University of Calabria

Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels

Add code
May 17, 2023
Viaarxiv icon

A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)

Add code
Aug 26, 2022
Figure 1 for A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)
Figure 2 for A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)
Viaarxiv icon

Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming

Add code
Oct 02, 2020
Figure 1 for Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming
Figure 2 for Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming
Figure 3 for Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming
Figure 4 for Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming
Viaarxiv icon

Proceedings 36th International Conference on Logic Programming (Technical Communications)

Add code
Sep 19, 2020
Viaarxiv icon

A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification

Add code
Aug 06, 2020
Figure 1 for A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
Figure 2 for A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
Figure 3 for A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
Figure 4 for A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
Viaarxiv icon

ASP-Core-2 Input Language Format

Add code
Nov 11, 2019
Viaarxiv icon

Precomputing Datalog evaluation plans in large-scale scenarios

Add code
Jul 29, 2019
Figure 1 for Precomputing Datalog evaluation plans in large-scale scenarios
Figure 2 for Precomputing Datalog evaluation plans in large-scale scenarios
Figure 3 for Precomputing Datalog evaluation plans in large-scale scenarios
Figure 4 for Precomputing Datalog evaluation plans in large-scale scenarios
Viaarxiv icon

Enhancing magic sets with an application to ontological reasoning

Add code
Jul 19, 2019
Figure 1 for Enhancing magic sets with an application to ontological reasoning
Figure 2 for Enhancing magic sets with an application to ontological reasoning
Viaarxiv icon

On the Computation of Paracoherent Answer Sets

Add code
Jul 21, 2017
Figure 1 for On the Computation of Paracoherent Answer Sets
Figure 2 for On the Computation of Paracoherent Answer Sets
Figure 3 for On the Computation of Paracoherent Answer Sets
Viaarxiv icon

Driving CDCL Search

Add code
Nov 16, 2016
Figure 1 for Driving CDCL Search
Figure 2 for Driving CDCL Search
Figure 3 for Driving CDCL Search
Figure 4 for Driving CDCL Search
Viaarxiv icon