Strathprints logo
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: 67.

Coles, A. J. and Coles, A. I. and Fox, M. and Long, D. (2010) Forward-chaining partial-order planning. In: Proceedings of the 20th international conference on automated planning and scheduling, ICAPS 2010. AAAI Press, Palo Alto. ISBN 9781577354499

Estrada, E. and Fox, M. and Higham, D.J. and Oppo, G.L. (2010) Network Science. Complexity in Nature and Technology. Network Science, 1st Edition (XI). Springer. ISBN 978-1-84996-395-4

Fox, M. and Thiebaux, S. (2009) Advances in automated plan generation. Artificial Intelligence, 173 (5-6). pp. 501-502. ISSN 0004-3702

Qu, R. and Fox, M. and Long, D. (2009) Editorial for AI planning and scheduling. Journal of Scheduling, 12 (3). pp. 225-226. ISSN 1094-6136

Coles, A.I. and Fox, M. and Halsey, K. and Long, D. and Smith, A. (2009) Managing concurrency in temporal planning using planner-scheduler interaction. Artificial Intelligence, 173 (1). pp. 1-44. ISSN 00043702

Bell, K.R.W. and Smith, A.J. and Coles, A.I. and Fox, Maria and Long, Derek (2009) The role of AI planning as a decision support tool in power substation management. AI Communications, 22 (1). pp. 37-57. ISSN 0921-7126

Bell, K.R.W. and Coles, A.I. and Fox, M. and Long, Derek and Smith, A.J. (2008) The application of planning to power substation voltage control. In: ICAPS Workshop on Scheduling and Planning (SPARK), 2008-09-14 - 2008-09-18, Sydney, Australia.

Brown, A.J. and Catterson, V.M. and Fox, M. and Long, D. and McArthur, S.D.J. and , IEEE (2008) Learning models of plant behavior for anomaly detection and condition monitoring. In: International Conference on Intelligent Systems Applications to Power Systems, 2007-11-05 - 2007-11-08, Toki Messe, Niigata.

Gregory, P. and Fox, M. and Long, D. (2008) A new empirical study of weak backdoors. In: 14th International Conference on Principles and Practice of Constraint Programming, 2008-09-01, Sydney, Australia.

Boddy, M. and Fox, M. and Thiebaux, S. (2008) The seventeenth international conference on automated planning and scheduling (icaps-07). AI Magazine, 29 (3). pp. 116-119. ISSN 07384602

Coles, A. I. and Fox, M. and Smith, A. J. (2007) Online identification of useful macro-actions for planning. In: Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 07). UNSPECIFIED.

Coles, A. I. and Fox, M. and Long, D. and Smith, A. J. (2007) Planning with respect to an existing schedule of events. In: Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 07). UNSPECIFIED.

Coles, A. I. and Fox, M. and Smith, A. J. (2007) A new local-search algorithm for forward-chaining planning. In: Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 07). UNSPECIFIED.

Fox, M. and Gough, J. and Long, D. (2007) Detecting execution failures using learned action models. In: Proceedings of AAAI 2007. Association for the Advancement of Artificial Intelligence. ISBN 978-1-57735-323-2

Fox, M. and Long, D. and Porteous, J. (2007) Discovering near symmetry in graphs. In: Proceedings of AAAI 2007. Association for the Advancement of Artificial Intelligence. ISBN 978-1-57735-323-2

Brown, A.J. and Catterson, V.M. and Fox, M. and Long, D. and McArthur, S.D.J. (2007) Learning models of plant behavior for anomaly detection and condition monitoring. Engineering Intelligent Systems for Electrical Engineering and Communications, 15 (2). pp. 61-67. ISSN 1472-8915

Fox, M. and Long, D. and Py, F. and Rajan, K. and Ryan, J. (2007) In situ analysis for intelligent control. In: MTS/IEEE Oceans 2007, 2007-10-02 - 2007-10-03, Vancouver, Canada.

Newton, M.A. Hakim and Levine, John and Fox, Maria and Long, Derek (2007) Learning macro-actions for arbitrary planners and domains. In: Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 2007). AAAI Press, California, USA, pp. 256-263. ISBN 1577353447

Gregory, Peter and Long, Derek and Fox, Maria (2007) A meta-CSP model for optimal planning. In: Seventh Symposium on Abstraction, Reformulation and Approximation (SARA), 2007-07-18 - 2007-07-21, Whistler, Canada.

Newton, M. A. H. and Levine, J. and Fox, M. and Long, D. (2006) Learning macro-actions genetically from plans. In: Proceedings of the 25th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2006). UNSPECIFIED.

Fox, M. and Long, D. (2006) Modelling mixed discrete-continuous domains for planning. Journal of Artificial Intelligence Research, 27. pp. 235-297. ISSN 1076-9757

Fox, M. and Long, D. and Baldwin, L. and Wilson, G. and Wood, M. and Jameux, D. and Aylett, R. (2006) On-board timeline validation and repair: a feasibility study. In: Proceedings of 5th International Workshop on Planning and Scheduling in Space, 2006-10-22 - 2006-10-25, Baltimore, USA.

Long, D. and Fox, M. (2006) The International planning competition series and empirical evaluation of AI planning systems. In: Proceedings of Workshop on Empirical Methods for the Analysis of Algorithm, 2006-09-09, Reykjavik, Iceland.

Woods, M. and Long, D. and Fox, M. and Aylett, R. and Baldwin, L. and Wilson, H. and Jameux, D. and Vituli, R. (2006) Developing an autonomous timeline management capability for a robotic mars mission. In: ESA Workshop on Advanced Space Technologies for Robotics, 2006-11-28 - 2006-11-30, Noordwijk, The Netherlands.

Fox, M. and Gerevini, A. and Long, D. and Serina, I. (2006) Plan stability: replanning versus plan repair. In: Proceedings of International Conference on AI Planning and Scheduling (ICAPS). AAAI Press. ISBN 978-1-57735-270-9

Fox, M. and Ghallab, M. and Infantes, G. and Long, D. (2006) Robot introspection through learned hidden Markov models. Artificial Intelligence, 170 (2). pp. 59-113. ISSN 0004-3702

Fox, M. and Gough, J. and Long, D. (2006) Using learned action models in execution monitoring. In: 25th Workshop of the UK Planning and Scheduling Special Interest Group, 2006-12-14 - 2006-12-15, Nottingham.

Newton, M. A. H. and Levine, J. and Fox, M. (2005) Genetically evolved macro-actions in AI planning problems. In: Proceedings of the 24th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2005). UNSPECIFIED, pp. 163-172.

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..

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

Fox, M. and Long, D. (2005) Time in planning. In: Handbook of Temporal Reasoning in AI. Foundations of Artificial Intelligence, 1 . Elsevier Science, pp. 497-537. ISBN 0-444-51493-7

Long, D. and Fox, M. (2005) Restoring symmetries in almost symmetric graph structures. In: Proceedings of SymNet Workshop on Almost-Symmetry in Search, 2005-01-11, New Lanark, Scotland.

Fox, M. and Long, D. and Porteous, J. (2005) Abstraction-based action ordering in planning. In: Proceedings of the International Joint Conferences on Artificial Intelligence (IJCAI-05). IJCAI.

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

Fox, M. and Long, D. and Halsey, K. (2004) An investigation into the expressive power of PDDL2.1. In: 16th European Conference on Artificial Intelligence (ECAI), 2004-08-22 - 2004-08-27, Valencia, Spain.

Halsey, K. and Long, D. and Fox, M. (2004) CRIKEY - a temporal planner looking at the integration of scheduling and planning. In: Proceedings of the Workshop on Integration Scheduling Into Planning at 13th International Conference on Automated Planning and Scheduling (ICAPS'03), 2003-06-09 - 2003-06-13, Trento, Italy.

Gough, J. and Fox, M. and Long, D. (2004) Plan execution under resource consumption uncertainty. In: Proceedings of the Workshop on Connecting Planning Theory with Practice at 13th International Conference on Automated Planning and Scheduling (ICAPS'04), 2003-06-09 - 2003-06-13, Trento, Italy.

Halsey, K. and Long, D. and Fox, M. (2004) Multiple relaxations in temporal planning. In: 16th European Conference on Artificial Intelligence, 2004-08-23 - 2004-08-27, Valencia.

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. 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.

Porteous, J. and Long, D. and Fox, M. (2004) The identification and exploitation of almost symmetry in planning problems. In: 23rd UK Planning and Scheduling Special Interest Group, 2004-12-20 - 2004-12-21, Cork.

Halsey, K. and Long, D. and Fox, M. (2003) Isolating where planning and scheduling interact. In: Proceedings of the 22nd UK Planning and Scheduling Special Interest Group (PlanSIG'03), 2003-12-09 - 2003-12-10, Glasgow, Scotland.

Long, D. and Fox, M. (2003) Symmetries in planning problems. In: Proceedings of Third Annual Conference on Symmetry and Constraint Satisfaction Problems - SymCon '03 (CP Workshop). Springer.

Long, D. and Fox, M. (2003) The 3rd International Planning Competition: Results and Analysis. Journal of Artificial Intelligence Research, 20. pp. 1-59. ISSN 11076-9757

Long, D. and Fox, M. (2003) Exploiting a graphplan framework in temporal planning. In: Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), 2003-06-09 - 2003-06-13, Trento, Italy.

Fox, M. and Long, D. (2003) PDDL2.1: An extension of PDDL for expressing temporal planning domains. Journal of Artificial Intelligence Research, 20. pp. 61-124. ISSN 11076-9757

Long, D. and Fox, M. (2003) Plan permutation symmetries as a source of inefficiency in planning. In: 22nd Workshop of the UK Planning and Scheduling Special Interest Group, 2003-12-09 - 2003-12-10, Glasgow.

Garrido, A. and Fox, M. and Long, D. (2002) A temporal planning system for durative actions of PDDL2.1. In: Proceedings of ECAI'02, 2002-07-21 - 2002-07-26, Lyon, France.

Coddington, A.M. (2002) Handling durative actions in a continuous planning framework. In: Proceedings of the AIPS 2002 Workshop on Planning for Temporal Domains, 2002-04-24 - 2002-04-27, Toulouse, France.

Cresswell, S. and Fox, M. and Long, D. (2002) Extending {TIM} domain analysis to handle {ADL} constructs. In: AIPS '02 Workshop on Knowledge Engineering Tools and Techniques for A.I. Planning, 2002-04-23 - 2002-04-27, Toulouse, France.

Fox, M. and Long, D. (2002) Fast temporal planning in a Graphplan framework. In: Proceedings of AIPS Workshop on Planning for Temporal Domains, 2002-04-23 - 2002-04-27, Toulouse, France.

Fox, M. and Long, D. (2002) The third international planning competition: temporal and metric planning. In: Proceedings of AIPS'02, 2002-04-25 - 2002-04-27, Toulouse, France.

Cresswell, S. and Fox, M. and Long, D. (2002) Extending TIM domain analysis to handle ADL constructs. In: UNSPECIFIED.

Fox, M. and Long, D. (2002) Extending the exploitation of symmetries in planning. In: Proceedings of Sixth International Conference on AI Planning and Scheduling, 2002-04-23 - 2002-04-27, Toulouse, France.

Long, D. and Fox, M. (2002) Planning with generic types. In: Exploring Artificial Intelligence in the New Millennium. Morgan Kaufmann Series in Artificial Intelligence . Morgan Kaufmann, pp. 103-138. ISBN 1558608117

Long, D. and Fox, M. (2002) Progress in AI Planning Research and Applications. UPGRADE : The European Journal for the Informatics Professional, III (5). pp. 10-25. ISSN 1684-5285

Long, D. and Fox, M. and Hamdi, M. (2002) Reformulation in planning. In: Proceedings of 5th International Symposium on Abstraction, Reformulation and Approximation, SARA '02, 2002-08-02 - 2002-08-04, Kananaskis, Alberta, Canada.

Coddington, A.M. and Fox, M. and Long, D. (2001) Handling durative actions in classical planning frameworks. In: Proceedings of the 20th Workshop of the UK Planning and Scheduling Special Interest Group, 2001-12-13 - 2001-12-14, Edinburgh, Glasgow.

Fox, M. and Long, D. (2001) Hybrid STAN: Identifying and managing combinatorial optimisation sub-problems in planning. In: Proceedings of International Joint Conference on Artificial Intelligence, 2001-08-04 - 2001-08-10, Seattle, Washington, USA.

Fox, M. and Long, D. (2001) STAN4: a hybrid planning strategy based on subproblem abstraction. AI Magazine, 22 (3). pp. 102-111. ISSN 0738-4602

Long, D. and Fox, M. (2000) Automatic synthesis and use of generic types in planning. In: 5th International Conference on Artificial Intelligence Planning Systems, 2000-04-14 - 2000-04-17, Breckenridge, CO.

Fox, M. and Long, D. (2000) Utilizing automatically inferred invariants in graph construction and search. In: 5th International Conference on Artificial Intelligence Planning Systems, 2000-04-14 - 2000-04-17, Breckenridge, CO.

Long, D. and Kautz, H.A. and Selman, B. and Bonet, B. and Geffner, H. and Koehler, J. and Brenner, M. and Hoffmann, J. and Rittinger, F. and Anderson, C.R. and Weld, D.S. and Smith, D.E. and Fox, M. (2000) The AIPS-98 planning competition: competitors' perspectives. AI Magazine, 21 (2). pp. 13-33. ISSN 0738-4602

Fox, M. and Long, D. (1999) The detection and exploitation of symmetry in planning problems. In: Proceedings of IJCAI'99, 1999-07-31 - 1999-08-06, Stockholm, Sweden.

Long, D. and Fox, M. (1999) Efficient Implementation of the Plan Graph in STAN. Journal of Artificial Intelligence Research, 10. pp. 87-115. ISSN 11076-9757

Fox, M. and Long, D. (1998) The automatic inference of state invariants in TIM. Journal of Artificial Intelligence Research, 9. pp. 367-421. ISSN 11076-9757

Fox, M. and Long, D. (1996) An efficient algorithm for managing partial orders in planning. SIGART Newsletter, 7 (4). pp. 3-12. ISSN 0163-5719

This list was generated on Thu Dec 18 15:35:23 2014 GMT.