Aggregates in Answer Set Optimization.

Emad Saad Gerhard Brewka

Published in: LPNMR (2011)

Keyphrases

optimization problems
answer sets
logic programs
answer set programming
logic programming
answer set semantics
normal logic programs
information systems
software engineering
stable models
databases
expert systems
orders of magnitude
fixpoint
anti monotone
counter examples