3 citations · 3 across the 2 of their papers we have counts for
5 papers
Toward the Implementation of Functions in the DLV System (Preliminary Technical Report)
Francesco Calimeri, Nicola Leone
This document describes the functions as they are treated in the DLV system. We give first the language, then specify the main implementation issues.
Parametric Connectives in Disjunctive Logic Programming
Simona Perri, Nicola Leone
Disjunctive Logic Programming (\DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). \DLP is very expressive in a precise mathematical sense: it allows t…
Abduction with Penalization in Logic Programming
Giovambattista Ianni, Nicola Leone, Simona Perri +1
Abduction, first proposed in the setting of classical logics, has been studied with growing interest in the logic programming area during the last years. In this paper we study {\e…
DLV - A System for Declarative Problem Solving
Thomas Eiter, Wolfgang Faber, Christoph Koch +2
DLV is an efficient logic programming and non-monotonic reasoning (LPNMR) system with advanced knowledge representation mechanisms and interfaces to classic relational database sys…
Hypertree Decompositions and Tractable Queries
G. Gottlob, N. Leone, F. Scarcello
Several important decision problems on conjunctive queries (CQs) are NP-complete in general but become tractable, and actually highly parallelizable, if restricted to acyclic or ne…