A Correctness Result for Reasoning about One-Dimensional Planning Problems.

Yuxiao Hu Hector J. Levesque

Published in: KR (2010)

Keyphrases

planning problems
concurrent actions
domain independent
heuristic search
state space
ai planning
planning systems
planning domains
plan generation
domain specific
partial observability
probabilistic planning
np complete
search strategies
search algorithm
causal graph
machine learning