Strathprints Home | Open Access | Browse | Search | User area | Copyright | Help | Library Home | SUPrimo

Browse by Author or Creator

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Item type | No Grouping
Number of items: 8.

Book Section

Fox, M. and Howey, R. and Long, D. (2005) Validating plans in the context of processes and exogenous events. In: Proceedings of the Twentieth National Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence (AAAI). ISBN 978-1-57735-236-5

Howey, Richard and Long, Derek and Fox, Maria (2005) Plan validation and mixed-initiative planning in space operations. In: Planning, Scheduling and Constraint Satisfaction: From Theory to Practice. Frontiers in Artificial Intelligence and Applications, 117 (117). IOS Press, Amsterdam, pp. 89-98. ISBN 1-58603-484-7

Howey, R. and Long, D. and Fox, M. (2004) Validating plans with exogenous events. In: Proceedings of the 23rd Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2004). UNSPECIFIED, pp. 78-87.

Conference or Workshop Item

Fox, M. and Howey, R. and Long, D. (2005) Exploration of the Robustness of Plans. In: Proceedings International Conference on Automated Planning & Scheduling (ICAPS) 2005 Workshop on Verification and Validation of, 2005-06-05 - 2005-06-10, Monterey, California, U.S.A..

Howey, R. and Long, D. and Fox, M. (2004) VAL: automatic plan validation, continuous effects and mixed initiative planning using PDDL. In: 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004-11-15 - 2004-11-17, Florida, USA.

Howey, R. and Long, D. (2003) Validating plans with continuous effects. In: 22nd Workshop of the UK Planning and Scheduling Special Interest Group, 2003-12-09 - 2003-12-10, Glasgow.

Howey, R. and Long, D. (2003) VAL's progress: the automatic validation tool for PDDL2.1 used in the International planning competition. In: Proceedings of the ICAPS 2003 workshop on "The Competition: Impact, Organization, Evaluation, Benchmarks", 2003-01-01, Trento, Italy.

Howey, R. and Long, D. (2003) The automatic validation tool for PDDL2.1. In: 10th Workshop on Automated Reasoning, 2003-04-15 - 2003-04-16, Liverpool.

This list was generated on Mon Sep 22 09:54:22 2014 BST.