3 citations · 3 across the 2 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2004
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.
cs.AI2003★ 3 cited
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…
cs.AI2000
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…