Showing cs.AIShow all
2 papers · 1 filter
cs.AI2008
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 (…
cs.AI2003
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…