Property Directed Reachability for Automated Planning.

Published in: J. Artif. Intell. Res. (2014)

Keyphrases

automated planning
heuristic search
goal directed
state space
planning domains
ai planning
planning systems
macro operators
interactive storytelling
reinforcement learning
search algorithm
upper bound
special case
orders of magnitude
web service composition
classical planning