Login / Signup
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV.
Tina Dell'Armi
Wolfgang Faber
Giuseppe Ielpa
Nicola Leone
Gerald Pfeifer
Published in:
IJCAI (2003)
Keyphrases
</>
disjunctive logic programming
polynomial hierarchy
aggregate functions
answer set programming
logic programming
expressive power
answer sets
aggregate queries
knowledge representation and reasoning
computational complexity
logic programs
query language
dnf formulas
recursive queries