Nested Aggregates in Answer Sets: An Application to a Priori Optimization

Published in: CoRR (2013)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
normal logic programs
extended logic programs
answer set semantics
fixpoint
machine learning
information systems
search algorithm
sat solvers
answer set programs
query language
disjunctive logic programming