Answer Set Planning: A Survey.

Tran Cao Son Enrico Pontelli Marcello Balduccini Torsten Schaub

Published in: CoRR (2022)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set semantics
answer set programs
fixpoint
normal logic programs
loop formulas
counter examples
semantics of logic programs
heuristic search
databases
objective function
query answering