Sciweavers

Share
IJCAI
2003

Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV

11 years 1 months ago
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV
Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows to express every property of finite structures that is decidable in the complexity class ¡£¢¤ (¥§¦ ¨© ). Despite the high expressiveness of DLP, there are some simple properties, often arising in real-world applications, which cannot be encoded in a simple and natural manner. Among these, properties requiring to apply some arithmetic operators (like sum, times, count) on a set of elements satisfying some conditions, cannot be naturally expressed in DLP. To overcome this deficiency, in this paper we extend DLP by aggregate functions. We formally define the semantics of the new language, named DLP  . We show the usefulness of the new constructs on relevant knowledge-based problems. We analyze the computational complexity of DLP  , showing that the addition of aggregates does not bring a higher cost in that respect. We provide an implementation of the DLP  language in DLV– the state-of-theart ...
Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Ni
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2003
Where IJCAI
Authors Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer
Comments (0)
books