Guiding Planner Backjumping Using Verifier Traces.

Robert P. Goldman Michael J. S. Pelican David J. Musliner

Published in: ICAPS (2004)

Keyphrases

domain independent
heuristic search
quantified boolean formulas
constraint satisfaction problems
forward chaining
probabilistic planning
case based planning
knowledge representation
domain specific
classical planning
planning process
temporal planning