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. Science forum: RIPOSTE: a framework for improving the design and analysis of laboratory-based research.

    Masca, N. G. D., Hensor, E. M. A., Cornelius, V. R., Buffa, F. M., Marriott, H. M., Eales, J. M., Messenger, M. P., Anderson, A. E., Boot, C., Bunce, C., Goldin, R. D., Harris, J., Hinchliffe, R. F., Junaid, H., Kingston, S., Martin-Ruiz, C., Nelson, C. P., Peacock, J., Seed, P. T., Shinkins, B. & 4 others, Staples, K. J., Toombs, J., Wright, A. K. A. & Teare, M. D., 2015, eLife. p. e05519 (eLife; vol. 4).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  27. 2014
  28. 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

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

  32. 2013
  33. 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

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

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

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

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

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

  39. 2012
  40. 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

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

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

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

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

  45. 2010
  46. 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

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

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

  49. 2009
  50. 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

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

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

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

  54. 2008
  55. 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

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

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

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

  59. Planning with Problems Requiring Temporal Coordination

    Coles, A. I., Fox, M., Long, D. & Coles, A. J., 2008, Proceedings of the Twenty-third AAAI Conference on Artificial Intelligence and the Twentieth Innovative Applications of Artificial Intelligence Conference. AAAI Press, Vol. 2. p. 892-897 6 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

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