collaborators

1 paper

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 (…