Approximation of action theories and its application to conformant planning.

Phan Huy Tu Tran Cao Son Michael Gelfond A. Ricardo Morales

Published in: Artif. Intell. (2011)

Keyphrases

action theories
initial state
conformant planning
situation calculus
symbolic model checking
belief space
state space
reasoning about actions
optimal policy
planning problems
forward search
probability distribution
incomplete information
ai planning
computationally hard