Nicola Leone | DeepAI

AI Chat

Featured Co-authors

Fulvio Mastrogiovanni
51 publications
Torsten Schaub
48 publications
Alessandra Russo
33 publications
Thomas Eiter
32 publications
Martin Gebser
27 publications
Carmine Dodaro
26 publications
Mario Alviano
26 publications
Georg Gottlob
26 publications
Francesco Ricca
25 publications
Alexander Artikis
22 publications
Konstantin Schekotihin
20 publications

∙ 05/17/2023

Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels

Artificial Intelligence plays a main role in supporting and improving sm...

0 Vito Barbara, et al. ∙

∙ 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...

0 Nicola Leone, et al. ∙

∙ 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...

0 Riccardo Bertolucci, et al. ∙

∙ 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 ...

0 Francesco Ricca, et al. ∙

∙ 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...

0 Roberta Costabile, et al. ∙

∙ 11/11/2019

ASP-Core-2 Input Language Format

Standardization of solver input languages has been a main driver for the...

5 Francesco Calimeri, et al. ∙

∙ 07/29/2019

Precomputing Datalog evaluation plans in large-scale scenarios

With the more and more growing demand for semantic Web services over lar...

0 Alessio Fiorentino, et al. ∙

∙ 07/19/2019

Enhancing magic sets with an application to ontological reasoning

Magic sets are a Datalog to Datalog rewriting technique to optimize quer...

0 Mario Alviano, et al. ∙

∙ 07/21/2017

On the Computation of Paracoherent Answer Sets

Answer Set Programming (ASP) is a well-established formalism for nonmono...

0 Giovanni Amendola, et al. ∙

∙ 11/16/2016

Driving CDCL Search

The CDCL algorithm is the leading solution adopted by state-of-the-art s...

0 Carmine Dodaro, et al. ∙

∙ 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...

0 Carmine Dodaro, et al. ∙

∙ 12/18/2015

Ontology-driven Information Extraction

Homogeneous unstructured data (HUD) are collections of unstructured docu...

0 Weronika T. Adrian, et al. ∙

∙ 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...

0 Mario Alviano, et al. ∙

∙ 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...

0 Mario Alviano, et al. ∙

∙ 04/27/2012

Magic Sets for Disjunctive Datalog Programs

In this paper, a new technique for the optimization of (partially) bound...

0 Mario Alviano, et al. ∙

∙ 11/04/2002

The DLV System for Knowledge Representation and Reasoning

This paper presents the DLV system, which is widely considered the state...

0 Nicola Leone, et al. ∙

∙ 03/08/2000

DLV - A System for Declarative Problem Solving

DLV is an efficient logic programming and non-monotonic reasoning (LPNMR...

0 Thomas Eiter, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world