Validating Plans in the Context of Processes and Exogenous Events
暂无分享,去创建一个
Maria Fox | Derek Long | Richard Howey | D. Long | M. Fox | Richard Howey
[1] Maria Fox,et al. VAL: automatic plan validation, continuous effects and mixed initiative planning using PDDL , 2004, 16th IEEE International Conference on Tools with Artificial Intelligence.
[2] Paul W. H. Chung,et al. Planning plant operating procedures for chemical plant , 2001 .
[3] Thomas A. Henzinger,et al. The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[4] Maria Fox,et al. An Investigation into the Expressive Power of PDDL2.1 , 2004, ECAI.
[5] Ji-Ae Shin,et al. Continuous Time in a SAT-Based Planner , 2004, AAAI.
[6] Derek Long,et al. Validating plans with continuous effects , 2003 .
[7] Thomas A. Henzinger,et al. Robust Timed Automata , 1997, HART.
[8] Drew McDermott. Reasoning about Autonomous Processes in an Estimated-Regression Planner , 2003, ICAPS.
[9] Fahiem Bacchus,et al. Using temporal logics to express search control knowledge for planning , 2000, Artif. Intell..
[10] Maria Fox,et al. PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains , 2003, J. Artif. Intell. Res..
[11] R. S. Ayletta,et al. Planning plant operating procedures for chemical plant , 2000 .