VAL: Automatic plan validation, continuous effects and mixed initiative planning using PDDL

Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

Volumn , Issue , 2004, Pages 294-301

  Howey, Richard ^a   Long, Derek ^a   Fox, Maria ^a  

^a UNIVERSITY OF STRATHCLYDE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMPETITION; MATHEMATICAL MODELS; POLYNOMIALS; PROBLEM SOLVING; SEMANTICS; VISUALIZATION;

AUTOMATIC PLANNING; EXPONENTIAL FUNCTIONS; MIXED-INTITATIVE PLANNING; PLAN VALIDATION TOOLS;

COMPUTER SCIENCE;

EID: 16244384971     PISSN: 10823409     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. M. Ai-Change, J. Bresina, L. Charest, J. Hsu, A. Jónsson, R. Kanefsy, P. Maldegue, P. Morris, K. Rajan, and J. Yglesias. MAPGEN: Mixed intitive activity planning for the Mars Exploratory Rover mission. In Proceedings of Demonstration Systems Track, ICAPS'03, 2003.
2. J. Allen and G. Ferguson. Human-machine collaborative planning. In Proceedings of 3rd International NASA Workshop on Planning and Scheduling for Space, 2002.
3. A. Blum and M. Furst. Fast Planning through Plan-graph Analysis. In Proceedings of IJCAI, 1995.
4. M. Burstein and D. McDermott. Issues in the development of human-computer mixed-initiative planning. In B. Gorayska and J. Mey, editors, Cognitive Technology. Elsevier, 1996.
5. M. Fox and D. Long. PDDL2.1: An extension to PDDL for expressing temporal planning domains. Journal of Al Research, 20, 2003.
6. R. Howey and D. Long. Validating plans with continuous effects. In Proc. of the 22nd Workshop of the UK Planning and Scheduling Special Interest Group, pages 115-124, 2003.
7. R. Howey, D. Long, and M. Fox. Plan validation and mixed-initiative planning in space operations. In D. Borrajo, editor, Proceedings of ECAI Workshop on Planning: Bridging the Gap between Theory and Practice, 2004.
8. S. Lemai and F. Ingrand. Interleaving temporal planning and execution in robotics domains. In Proc. AAAI'04, 2004.
9. D. Long and M. Fox. The 3rd International Planning Competition: Results and analysis. Journal of AI Research, 20, 2003.
10. J. H. Mathews and K. K. Fink. Numerical Methods Using Matlab. Prentice-Hall Inc., New Jersey, USA, 4th edition, 2004.
11. D. McAllester and D. Rosenblitt. Systematic nonlinear planning. In Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91), volume 2, pages 634-639, Anaheim, California, USA, 1991. AAAI Press/MIT Press.
12. M. Veloso, A. Mulvehill, and M. Cox. Rationale-supported mixed-initiative case-based planning. In Proceedings of the 14th National Conference on Al and 9th Innovative Applications of Artificial Intelligence Conference, 1997.
13. M. Woods, R. Aylett, D. Long, M. Fox, and R. Ward. Assessing planning and scheduling technologies for deep space exploration. In Proceedings of 4th British Conference on (Mobile) Robotics: Towards Intelligent Mobile Robots, 2003.