King's College London

Research portal

Research Outputs

  1. 2017
  2. Deterministic versus Probabilistic Methods for Searching for an Evasive Target

    Bernardini, S., Fox, M., Long, D. & Piacentini, C., 13 Feb 2017, Proceedings of the Thirty-First AAI Conference on Artificial Intelligence. AAAI Press, p. 3709-3715 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  3. PDDL+ Planning with temporal pattern databases

    Piotrowski, W., Fox, M., Long, D., Magazzeni, D. & Mercorio, F., 1 Jan 2017, WS-17-01: Artificial Intelligence and Operations Research for Social Good; WS-17-02: Artificial Intelligence, Ethics, and Society; WS-17-03: Artificial Intelligence for Connected and Automated Vehicles; WS-17-04: Artificial Intelligence for Cyber Security; WS-17-05: Artificial Intelligence for Smart Grids and Buildings; WS-17-06: Computer Poker and Imperfect Information Games; WS-17-07: Crowdsourcing, Deep Learning and Artificial Intelligence Agents; WS-17-08: Distributed Machine Learning; WS-17-09: Joint Workshop on Health Intelligence; WS-17-10: Human-Aware Artificial Intelligence; WS-17-11: Human-Machine Collaborative Learning; WS-17-12: Knowledge-Based Techniques for Problem Solving and Reasoning; WS-17-13: Plan, Activity, and Intent Recognition; WS-17-14: Symbolic Inference and Optimization; WS-17-15: What's Next for AI in Games?. AI Access Foundation, p. 930-936 7 p. (AAAI Workshop - Technical Report; vol. WS-17-01 - WS-17-15).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  4. Pattern Based Temporal Inference In Forward Search Temporal Planning

    Talukdar, A., Fox, M. & Long, D., Jan 2017, CEUR Workshop Proceedings. CEUR-WS, Vol. 1782. 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  5. Boosting search guidance in problems with semantic attachments

    Bernardini, S., Fox, M., Long, D. & Piacentini, C., 2017, Proceedings of the 27th International Conference on Automated Planning and Scheduling, ICAPS 2017. AAAI Press, p. 29-37 9 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  6. Explainable Planning

    Fox, M., Long, D. & Magazzeni, D., 2017, Proceedings of IJCAI-17 Workshop on Explainable Planning.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  7. 2016
  8. A Compilation of the Full PDDL+ Language into SMT

    Cashmore, M., Fox, M., Long, D. & Magazzeni, D., 12 Jun 2016, Twenty-Sixth International Conference on Automated Planning and Scheduling. p. 79-87

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  9. Solving Realistic Unit Commitment Problems Using Temporal Planning: Challenges and Solutions

    Piacentini, C., Magazzeni, D., Long, D., Fox, M. & Dent, C., 8 Jun 2016, International Conference on Automated Planning and Scheduling: Novel Applications Track. AAAI Press, p. 421-430

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  10. The PANDORA project: A success story in AUV autonomy

    Maurelli, F., Carreras, M., Salvi, J., Lane, D., Kyriakopoulos, K., Karras, G., Fox, M., Long, D., Kormushev, P. & Caldwell, D., 3 Jun 2016, OCEANS 2016 - Shanghai. Institute of Electrical and Electronics Engineers Inc., 7485618

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  11. Leveraging probabilistic reasoning in deterministic planning for large-scale autonomous search-and-tracking

    Bernardini, S., Fox, M., Long, D. & Piacentini, C., 30 Mar 2016, Proceedings International Conference on Automated Planning and Scheduling, ICAPS. AAAI Press, Vol. 2016-January. p. 47-55 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  12. Heuristic planning for PDDL+ domains

    Piotrowski, W., Fox, M., Long, D., Magazzeni, D. & Mercorio, F., 2016, IJCAI International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, Vol. 2016-January. p. 3213-3219 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  13. Heuristic planning for hybrid systems

    Piotrowski, W., Fox, M., Long, D., Magazzeni, D. & Mercorio, F., 2016, 30th AAAI Conference on Artificial Intelligence, AAAI 2016. AAAI Press, p. 4254-4255 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  14. Opportunistic Planning for Increased Plan Utility

    Cashmore, M., Fox, M., Long, D., Ridder, B. C. & Magazzeni, D., 2016, Proceedings of the 4th ICAPS Workshop on Planning and Robotics (PlanRob 2016). 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  15. Planning using actions with control parameters

    Savaş, E., Fox, M., Long, D. & Magazzeni, D., 2016, Frontiers in Artificial Intelligence and Applications. IOS Press, Vol. 285. p. 1185-1193 9 p. (Frontiers in Artificial Intelligence and Applications; vol. 285).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  16. Strategic Planning for Autonomous Systems over Long Horizons

    Cashmore, M., Fox, M., Long, D., Ridder, B. C. & Magazzeni, D., 2016, Proceedings of the 4th ICAPS Workshop on Planning and Robotics (PlanRob 2016). 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  17. Temporal planning with constants in context

    Bajada, J., Fox, M. & Long, D., 2016, Frontiers in Artificial Intelligence and Applications. IOS Press, Vol. 285. p. 1712-1713 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 285).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  18. 2015
  19. Automated Planning and Model Checking (Dagstuhl Seminar 14482)

    Cimatti, A., Edelkamp, S., Fox, M., Magazzeni, D. & Plaku, E., 1 Nov 2015, Dagstuhl Reports. 11 ed. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 4.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  20. Artificial Intelligence Planning for AUV Mission Control

    Cashmore, M., Fox, M., Long, D., Magazzeni, D. & Ridder, B., 2 Sep 2015, IFAC Proceedings Volumes (IFAC-PapersOnline). 2 ed. IFAC Secretariat, Vol. 48. p. 262-267 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  21. Planning with numeric Timed Initial Fluents

    Piacentini, C., Fox, M. & Long, D., 1 Jun 2015, Proceedings of the National Conference on Artificial Intelligence. AI Access Foundation, Vol. 6. p. 4196-4197 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  22. PANDORA - Persistent autonomy through learning, adaptation, observation and replanning

    Lane, D. M., Maurelli, F., Kormushev, P., Carreras, M., Fox, M. & Kyriakopoulos, K., 1 May 2015, IFAC Proceedings Volumes (IFAC-PapersOnline). 2 ed. IFAC Secretariat, Vol. 48. p. 238-243 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  23. Dynamically Extending Planning Models using an Ontology

    Cashmore, M., Fox, M., Long, D., Magazzeni, D., Ridder, B. C. & Maurelli, F., 2015, Proceedings of the 2nd ICAPS Workshop on Planning and Robotics (PlanRob-15). p. 79-85

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  24. Rosplan: Planning in the robot operating system

    Cashmore, M., Fox, M., Long, D., Magazzeni, D., Ridder, B., Carrera, A., Palomeras, N., Hurtós, N. & Carreras, M., 2015, Proceedings International Conference on Automated Planning and Scheduling, ICAPS. AAAI Press, Vol. 2015-January. p. 333-341 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  25. Temporal planning with semantic attachment of non-linear monotonic continuous behaviours

    Bajada, J., Fox, M. & Long, D., 2015, IJCAI International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, Vol. 2015-January. p. 1523-1529 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  26. 2014
  27. Planning the behaviour of low-cost quadcopters for surveillance missions

    Bernardini, S., Fox, M. & Long, D., Jun 2014, ResearchGate. AAAI Press, Vol. 2014-January. p. 445-453 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  28. Associations between working memory and white matter integrity in normal ageing

    Charlton, R. A. & Morris, R., 1 Jan 2014, Working Memory and Ageing. Taylor and Francis, p. 97-128 32 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  29. AUV Mission Control via Temporal Planning

    Cashmore, M., Fox, M., Larkworthy, T., Long, D. & Magazzeni, D., 2014, Proceedings of IEEE International Conference on Robotics and Automation (ICRA 2014).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  30. Encoding Reachability with Quantification

    Cashmore, M., Fox, M. & Giunchiglia, E., 2014, Proceedings of the Vienna Summer of Logic 2014: 1st Workshop on Quantification (QUANTIFY 2014).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  31. Introduction: Working memory and the ageing brain

    Logie, R. H. & Morris, R., 2014, Working Memory and Ageing. Psychology Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  32. Temporal Plan Quality Improvement and Repair using Local Search

    Bajada, J., Fox, M. & Long, D., 2014, Frontiers in Artificial Intelligence and Applications. IOS Press, Vol. 264. p. 41-50 10 p. (Frontiers in Artificial Intelligence and Applications; vol. 264).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  33. 2013
  34. Challenge: Modelling Unit Commitment as a Planning Problem

    Campion, J., Dent, C., Fox, M., Long, D. & Magazzeni, D., Aug 2013, Proceedings of the Twenty Third International Conference on Automated Planning and Scheduling (ICAPS 2013). Borrajo, D., Kambhampati, S., Oddi, A. & Fratini, S. (eds.). N/A ed. N/A: AAAI Press, Vol. N/A. p. 452-456 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  35. Combining a Temporal Planner with an External Solver for the Power Balancing Problem in an Electricity Network

    Piacentini, C., Alamisis, V., Fox, M. & Long, D., Aug 2013, Proceedings of the Twenty Third International Conference on Automated Planning and Scheduling (ICAPS-13). Borrajo, D., Kambhampati, S., Oddi, A. & Fratini, S. (eds.). N/A ed. AAAI Press, Vol. N/A. p. 398-406 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  36. Automated Planning and Policy Learning for Surveillance Missions

    Bernardini, S., Fox, M. & Long, D., 2013, Proceedings of the Eight International Workshop on Planning and Scheduling for Space: (IWPSS-13).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  37. Autonomous Search and Tracking via Temporal Planning

    Bernardini, S., Fox, M., Long, D. & Bookless, J., 2013, Proceedings of the Twenty Third International Conference on Automated Planning and Scheduling: (ICAPS-13). AAAI Press

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  38. Load modelling and simulation of household electricity consumption for the evaluation of demand-side management strategies

    Bajada, J., Fox, M. & Long, D., 2013, 2013 4th IEEE/PES Innovative Smart Grid Technologies Europe, ISGT Europe 2013. 6695250

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  39. Planning Inspection Tasks for AUVs

    Cashmore, M., Fox, M., Larkworthy, T., Long, D. & Magazzeni, D., 2013, Proceedings of OCEANS'13 MTS/IEEE.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  40. 2012
  41. Partially Grounded Planning as Quantified Boolean Formula

    Cashmore, M., Fox, M. & Giunchiglia, E., Aug 2012, Proceedings of the twenty-third international conference on automated planning and scheduling (ICAPS 2013). Borrajo, D., Kambhampati, S., Oddi, A. & Fratini, S. (eds.). AAAI Press, p. 29-36 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  42. Partially Grounded Planning as Quantified Boolean Formula

    Cashmore, M., Fox, M. & Giunchiglia, E., Jun 2012, COPLAS 2012: Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  43. Plan-Based Policy-Learning for Autonomous Feature Tracking

    Fox, M., Long, D. & Magazzeni, D., 2012, ICAPS 2012. p. 38-46 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  44. Planning Modulo Theories: Extending the Planning Paradigm

    Gregory, P., Long, D., Fox, M. & Beck, J. C., 2012, Twenty-Second International Conference on Automated Planning and Scheduling. AAAI Press, p. 65-73 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  45. Planning as Quantified Boolean Formula

    Cashmore, M., Fox, M. & Giunchiglia, E., 2012, ECAI 2012: 20th European Conference on Artificial Intelligence, 27–31 August 2012, Montpellier, France – Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track. De Raedt, L., Bessiere, C., Dubois, D., Doherty, P., Frasconi, P., Heintz, F. & Lucas, P. (eds.). IOS Press, p. 217 - 222 6 p. (Frontiers in Artificial Intelligence and Applications; vol. 242).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  46. 2010
  47. Constraint Based Planning with Composable Substate Graphs

    Gregory, P., Long, D. & Fox, M., 2010, ECAI 2010. Vol. 215. p. 453 - 458 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  48. Forward-Chaining Partial-Order Planning

    Coles, A. J., Coles, A. I., Fox, M. & Long, D., 2010, Proceedings of the Twentieth International Conference on Automated Planning and Scheduling (ICAPS-10). Menlo Park: AAAI Press, p. 42-49 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  49. Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence

    Fox, M. & Poole, D., 2010, AAAI 2010.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  50. 2009
  51. Extending the Use of Inference in Temporal Planning as Forwards Search

    Coles, A. J., Coles, A. I., Fox, M. & Long, D., 1 Sep 2009, Proceedings of the Nineteenth International Conference on Automated Planning and Scheduling (ICAPS 09).. p. 1 - 8 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  52. Incremental Constraint-Posting Algorithms in Interleaved Planning and Scheduling

    Coles, A. J., Coles, A. I., Fox, M. & Long, D., 2009, Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling (COPLAS '09), ICAPS 09. Unknown Publisher, p. 1 - 8 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  53. Lifting the Limitations in a Rule-based Policy Language

    Lindsay, A., Fox, M. & Long, D., 2009, Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference: May 19-21, 2009, Sanibel Island, Florida, USA. Lane, H. C. & Guesgen, H. W. (eds.). N/A ed. Menlo Park, California: AAAI Press, Vol. N/A. p. 63-68 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  54. Temporal Planning in Domains with Linear Processes.

    Coles, A. J., Coles, A. I., Fox, M. & Long, D., 2009, Twenty-First International Joint Conference on Artificial Intelligence (IJCAI). Unknown Publisher, p. 1 - 6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  55. 2008
  56. A Hybrid Relaxed Planning Graph-LP Heuristic for Numeric Planning Domains

    Coles, A. I., Fox, M., Long, D. & Smith, A., 2008, Proceedings of International Conference on Automated Planning and Scheduling: ICAPS. AAAI Press, p. 1 - 8 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  57. A New Empirical Study of Weak Backdoors

    Gregory, P., Fox, M. & Long, D., 2008, Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia. Physica-Verlag, Springer, Vol. 5202 LNCS. p. 618-623 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  58. Additive-Disjunctive Heuristics for Optimal Planning."

    Coles, A. I., Fox, M., Long, D. & Coles, A. J., 2008, ICAPS 08. Unknown Publisher, p. 1 - 8 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  59. Planning with Linear Continuous Numeric Change

    Coles, A. J., Coles, A. I., Fox, M. & Long, D., 2008, Proceedings of the 27th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2008). Unknown Publisher, p. 1 - 8 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

Previous 1 2 Next

Export:RIS BibTex Word PDF - will at most contain 500 items

Refine results Clear filters

Language

Language

Publication year

Full text

Full text

Meeting and poster abstracts

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454