27 citations
- University of Reggio CalabriaIT2 papers
- AREA Science ParkIT1 paper
- Istituto Nazionale di Fisica Nucleare, Sezione di NapoliIT1 paper
- Scuola Internazionale Superiore di Studi AvanzatiIT1 paper
- UiT The Arctic University of NorwayNO1 paper
- University of California, Los AngelesUS1 paper
- University of Naples Federico IIIT1 paper
5 papers · 1 filter
Design and Implementation of Aggregate Functions in the DLV System
Wolfgang Faber, Gerald Pfeifer, Nicola Leone +2
Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows for expressing every property of finite structures that is decidable in the complexity class SigmaP2 (…
Experimenting with recursive queries in database and logic programming systems
Giorgio Terracina, Nicola Leone, Vincenzino Lio +1
This paper considers the problem of reasoning on massive amounts of (possibly distributed) data. Presently, existing proposals show some limitations: {\em (i)} the quantity of data…
Outlier Detection by Logic Programming
Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli
The development of effective knowledge discovery techniques has become in the recent few years a very active research area due to the important impact it has in several relevant ap…
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…
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation
Simona Perri, Francesco Scarcello, Nicola Leone
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 abd…