Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity.

Wolfgang Faber Nicola Leone Gerald Pfeifer

Published in: JELIA (2004)

Keyphrases

disjunctive logic programs
polynomial hierarchy
disjunctive logic programming
logic programs
logic programming
stable model semantics
answer sets
answer set programming
dnf formulas
minimal models
computational complexity
desirable properties
stable models
answer set semantics
formal semantics