The USA-Advisor: A Case Study in Answer Set Planning.

Marcello Balduccini Michael Gelfond Richard Watson Monica L. Nogueira

Published in: LPNMR (2001)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set semantics
normal logic programs
answer set programs
data mining
counter examples
heuristic search
sat solvers
fixpoint
artificial intelligence
query processing
semantics of logic programs