Answer Set Optimization.

Gerhard Brewka Ilkka Niemelä Miroslaw Truszczynski

Published in: IJCAI (2003)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set semantics
optimization problems
normal logic programs
answer set programs
data structure
knowledge management
combinatorial optimization
deductive databases
loop formulas
counter examples