Browse by Author or creator

2021

Krarup, Benjamin and Krivic, Senka and Magazzeni, Daniele and Long, Derek and Cashmore, Michael and Smith, David E. (2021) Contrastive explanations of plans through model restrictions. Journal of Artificial Intelligence Research, 72. ISSN 1076-9757

Krarup, Benjamin and Krivic, Senka and Magazzeni, Daniele and Long, Derek and Cashmore, Michael and Smith, David E (2021) Contrastive explanations of plans through model restrictions. Preprint / Working Paper. arXiv.org, Ithaca, N.Y..

2016

Ridder, Bram and Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele; (2016) Factorised contingency planning. In: Proceedings of the 34th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2016). University of Huddersfield, Huddersfield.

Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele and Ridder, Bram; Finzi, Alberto and Karpas, Erez, eds. (2016) Opportunistic planning for increased plan utility. In: Proceedings of the 4th ICAPS Workshop on Planning and Robotics (PlanRob). ICAPS, [London].

Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele and Ridder, Bram; (2016) Strategic planning for autonomous systems over long horizons. In: Proceedings of the 4th ICAPS Workshop on Planning and Robotics (PlanRob). ICAPS, London, pp. 74-81.

2015

Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele and Ridder, Bram and De Carolis, Valerio and Lane, David and Maurelli, Francesco; Finzi, Alberto and Ingrand, Felix and Orlandini, Andrea, eds. (2015) Dynamically extending planning models using an ontology. In: Proceedings of the 2nd ICAPS Workshop on Planning and Robotics (PlanRob). ICAPS, [Jerusalem], pp. 79-85.

2011

Pattison, David and Long, Derek; Pattison, David and Long, Derek and Geib, Christopher, eds. (2011) Accurately determining intermediate and terminal plan states using bayesian goal recognition. In: GAPRec 2011. Proceedings of the First Workshop on Goal, Activity and Plan Recognition. ICAPS, pp. 32-37.

2010

Pattison, D. and Long, D.; Fratini, Simone and Gerevini, Alfonso and Long, Derek and Saetti, Alessandro, eds. (2010) Extracting plans from plans. In: Proceedings of the 28th Workshop of the UK Special Interest Group on Planning and Scheduling. UNSPECIFIED, 149 - 156.

Pattison, D. and Long, D.; Agnotes, T., ed. (2010) Domain independent goal recognition. In: STAIRS 2010. IOS Press, PRT, 238 - 250. ISBN 9781607506768

Coles, A. J. and Coles, A. I. and Fox, M. and Long, D.; Brafman, Ronen and Geffner, Hector and Hoffmann, Jorg and Kautz, Henry, eds. (2010) Forward-chaining partial-order planning. In: Proceedings of the 20th international conference on automated planning and scheduling, ICAPS 2010. AAAI Press, CAN. ISBN 9781577354499

2009

Woods, M. and Shawky, A. and Barnes, D. and Price, D. and Long, D. and Pullan, D. (2009) Autonomous science for an exomars rover-like mission. Journal of Field Robotics, 26 (4). pp. 358-390. ISSN 1556-4959

Gerevini, A.E. and Haslum, P. and Long, D. and Saetti, A. and Dimopoulos, Y. (2009) Deterministic planning in the fifth international planning competition: pddl3 and experimental evaluation of the planners. Artificial Intelligence, 173 (5-6). pp. 619-668. 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.

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

2008

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.

Brown, A.J. and Catterson, V.M. and Fox, M. and Long, D. and McArthur, S.D.J. IEEE , ed. (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.

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.

2007

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.

Andrew, A. and Levine, J. and Long, D.; (2007) Constraint directed variable neighbourhood search. In: Proceedings of the 4th International Workshop on Local Search Techniques in Constraint Satisfaction held at CP 2007. 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.

Fox, Maria and Gough, Jonathan and Long, Derek; Holte, Robert C. and Howe, Adele, eds. (2007) Detecting execution failures using learned action models. In: Proceedings of AAAI 2007. Association for the Advancement of Artificial Intelligence, COL, pp. 968-973. ISBN 9781577353232

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

Newton, M.A. Hakim and Levine, John and Fox, Maria and Long, Derek; Boddy, Mark and Fox, Maria and Thiebaux, Sylvie, eds. (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; Ruml, W. and Miguel, I., eds. (2007) A meta-CSP model for optimal planning. In: Seventh Symposium on Abstraction, Reformulation and Approximation (SARA), 2007-07-18 - 2007-07-21.

2006

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. and Baldwin, L. and Wilson, G. and Wood, M. and Jameux, D. and Aylett, R.; Giuliano, M., ed. (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.

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

Long, Derek and Fox, Maria; Paquete, L. and Chiarandini, M. and Basso, D., eds. (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.

Gerevini, A. and Long, D.; Gerevini, A. and Long, D., eds. (2006) Preferences and soft constraints in PDDL3. In: ICAPS Workshop on Planning with Preferences and Soft Constraints, 2006-06-06.

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.

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.; Qu, R., ed. (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.

2005

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.

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.; Fisher, Michael and Gabbay, Dov A. and Vila, Lluis, eds. (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.; Donaldson, A. and Gregory, P., eds. (2005) Restoring symmetries in almost symmetric graph structures. In: Proceedings of SymNet Workshop on Almost-Symmetry in Search, 2005-01-11.

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; Castillo, L. and Borrajo, D. and Salido, M.A. and Oddi, A., eds. (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 1586034847

2004

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.

Garrido, A. and Long, D. (2004) Planning with numeric variables in multi-objective planning. In: Proceedings of ECAI'04, 2004-08-22 - 2004-08-27.

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.

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.

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.

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

Gregory, P. and Cresswell, S. and Long, D. and Porteous, J.; Harvey, W. and Kiziltan, Z., eds. (2004) On the extraction of disjunctive landmarks from planning problems via symmetry reduction. In: Proceedings of SymCon'04. Springer, pp. 34-41.

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.; Brown, K., ed. (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.

2003

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

Long, D. and Fox, M. (2003) The 3rd international planning competition : results and analysis. Journal of Artificial Intelligence Research, 20. pp. 1-59.

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

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.

Long, Derek and Fox, Maria; (2003) Symmetries in planning problems. In: SymCon'03. University of Huddersfield, IRL, pp. 142-152.

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.

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.

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.

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.

2002

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.; Koenig, S. and Holte, R., eds. (2002) Reformulation in planning. In: Proceedings of 5th International Symposium on Abstraction, Reformulation and Approximation, SARA '02, 2002-08-02 - 2002-08-04.

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.

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.

Cresswell, S. and Fox, M. and Long, D.; McCluskey, T.L., ed. (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.

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.

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.

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

Long, D. and Fox, M.; Lakemeyer, G. and Nebel, B., eds. (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

2001

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

Fox, M. and Long, D.; Nebel, B., ed. (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.

2000

Fox, Maria and Long, Derek (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.

Long, Derek and Fox, Maria (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.

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

1999

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.

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

1998

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

1996

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