Observation Reduction for Strong Plans
暂无分享,去创建一个
[1] Paolo Traverso,et al. Automatic OBDD-Based Generation of Universal Plans in Non-Deterministic Domains , 1998, AAAI/IAAI.
[2] Marco Pistore,et al. Planning with a language for extended goals , 2002, AAAI/IAAI.
[3] Piergiorgio Bertoli,et al. Strong planning under partial observability , 2006, Artif. Intell..
[4] Paolo Traverso,et al. Strong Planning in Non-Deterministic Domains Via Model Checking , 1998, AIPS.
[5] Blai Bonet,et al. Planning with Incomplete Information as Heuristic Search in Belief Space , 2000, AIPS.
[6] Marco Pistore,et al. Weak, strong, and strong cyclic planning via symbolic model checking , 2003, Artif. Intell..
[7] Craig Boutilier,et al. A POMDP formulation of preference elicitation problems , 2002, AAAI/IAAI.
[8] Piergiorgio Bertoli,et al. Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking , 2001, IJCAI.
[9] Marco Pistore,et al. Planning as Model Checking for Extended Goals in Non-deterministic Domains , 2001, IJCAI.
[10] Paolo Traverso,et al. Strong Cyclic Planning Revisited , 1999, ECP.
[11] Andreas Herzig,et al. Action representation and partially observable planning using epistemic logic , 2003, IJCAI.
[12] Nils J. Nilsson,et al. Artificial Intelligence , 1974, IFIP Congress.