King's College London

Research portal

Planning

Organisational unit: Research Group

  1. Allocating Planning Effort when Actions Expire

    Shperberg, S., Coles, A. I., Cserna, B., Karpas, E., Ruml, W. & Shimony, S. 27 Jan 2019 Proceedings of the Thirty Third AAAI Conference on Artificial Intelligence. AAAI Press

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

  2. Efficient Temporal Planning Using Metastates

    Coles, A. J., Coles, A. I. & Beck, J. C. 27 Jan 2019 Proceedings of the Thirty Third AAAI Conference on Artificial Intelligence. AAAI Press

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

  3. Efficiently Reasoning with Interval Constraints in Forward Search Planning

    Coles, A. J., Coles, A. I., Martinez Munoz, M., Savas, O. E., Delfa, J. M., de la Rosa, T., E-Martín, Y. & García Olaya, A. 27 Jan 2019 Proceedings of the Thirty Third AAAI Conference on Artificial Intelligence. AAAI Press

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

  4. The ERGO framework and its use in planetary/orbital scenarios

    Ocón, J., Colmenero, F., Estremera, J., Buckley, K., Alonso, M., Heredia, E., Garcia, J., Coles, A. I., Coles, A. J., Martinez Munoz, M., Savas, O. E., Pommerening, F., Keller, T., Karachalios, S., Woods, M., Dragomir, I., Bensalem, S., Dissaux, P. & Schach, A. 1 Oct 2018 Proceedings of the 69th International Astronautical Congress (IAC).

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

  5. Personalised Medication Planning using PDDL+

    Alaboud, F. K. M. & Coles, A. I. 24 Jun 2018 Proceedings of the Scheduling and Planning Applications woRKshop (SPARK): At the 28th International Conference on Automated Planning and Scheduling. Bernadini, S., Parkinson, S. & Talamadupula, K. (eds.).

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

  6. Temporal Planning While the Clock Ticks

    Cashmore, M., Coles, A. I., Cserna, B., Karpas, E., Magazzeni, D. & Ruml, W. 24 Jun 2018 Proceedings of the 28th International Conference on Automated Planning and Scheduling. AAAI Press

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

  7. Accepted/In press

    Explainable Security

    Vigano, L. & Magazzeni, D. 30 May 2018 (Accepted/In press) IJCAI/ECAI 2018 Workshop on Explainable Artificial Intelligence (XAI). 7 p.

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

  8. Situated Planning for Execution Under Temporal Constraints

    Cashmore, M., Coles, A. I., Cserna, B., Karpas, E., Magazzeni, D. & Ruml, W. 26 Mar 2018 Proceedings of the AAAI 2018 Spring Symposium on Integrating Representation, Reasoning, Learning, and Execution for Goal Directed Autonomy.

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

  9. Automated Planning in Non-Linear Domains for Aerospace Applications

    Denenberg, E. & Coles, A. J. 6 Mar 2018 58th Israel Annual Conference on Aerospace Sciences.

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

  10. Accepted/In press

    Strategic-Tactical Planning for Autonomous Underwater Vehicles over Long Horizons

    Buksz, R. D., Cashmore, M., Krarup, B., Magazzeni, D. & Ridder, B. C. 2018 (Accepted/In press) Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2018).

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

  11. Validation and verification of smart contracts: a research agenda

    Magazzeni, D., McBurney, P. J. & Nash, W. 22 Sep 2017 In : COMPUTER. 50, 9, p. 50-57 8 p.

    Research output: Contribution to journalArticle

  12. Validation and verification of smart contracts: A research agenda

    Magazzeni, D., Mcburney, P. & Nash, W. 22 Sep 2017 COMPUTER, 50, 9, p. 50-57 8 p.

    Research output: Contribution to specialist publicationArticle

  13. CASP solutions for planning in hybrid domains

    BALDUCCINI, MARCELLO., MAGAZZENI, DANIELE., MARATEA, MARCO. & LEBLANC, EMILY. C. 4 Jul 2017 In : Theory and Practice of Logic Programming. p. 1-43 43 p.

    Research output: Contribution to journalArticle

  14. ERGO: A FRAMEWORK FOR THE DEVELOPMENT OF AUTONOMOUS ROBOTS

    Ocón, J., Delfa, J. M., Medina, A., Lachat, D., Marc, R., Woods, M., Wallace, I., Coles, A. I., Coles, A. J., Long, D., Keller, T., Helmert, M. & Bensalem, S. 20 Jun 2017 Proceedings of the 14th Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA). 9 p.

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

  15. A Temporal Relaxed Planning Graph Heuristic for Planning With Envelopes

    Coles, A. & Coles, A. 18 Jun 2017 Proceedings of the 27th International Conference on Automated Planning and Scheduling, ICAPS 2017. AAAI Press, p. 47-55 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS)

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

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

  17. Accepted/In press

    Planning for persuasion

    Black, E., Coles, A. J. & Hampson, C. 25 Jan 2017 (Accepted/In press) Proceedings of the Sixteenth International Conference on Antonomous Agents and Multiagent Sytems. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 2, p. 933-942 10 p.

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

  18. Planning for persuasion

    Black, E., Coles, A. J. & Hampson, C. 1 Jan 2017 16th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 2, p. 933-942 10 p.

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

  19. Combining temporal planning with probabilistic reasoning for autonomous surveillance missions

    Bernardini, S., Fox, M. & Long, D. Jan 2017 In : AUTONOMOUS ROBOTS. 41, 1, p. 181-203

    Research output: Contribution to journalArticle

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

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

  22. Decreasing Uncertainty in Planning with State Prediction

    Krivic, S., Cashmore, M., Magazzeni, D., Ridder, B. C., Szedmak, S. & Piater, J. 2017 Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI-17. p. 2032-2038

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

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

  24. Landmarks for Numeric Planning Problems

    Scala, E., Haslum, P., Magazzeni, D. & Thiebaux, S. 2017 Artificial Intelligence Journal Division of IJCAI. Elsevier, 7 p.

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

  25. Short-Term Human Robot Interaction through Conditional Planning and Execution

    Sanelli, V., Cashmore, M., Iocchi, L. & Magazzeni, D. 2017 Proceedings of the 27th International Conference on Automated Planning and Scheduling, ICAPS 2017. AAAI Press, p. 540-548

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

  26. Extending visual information extraction to biomedical applications

    Della Penna, G., Magazzeni, D. & Orefice, S. 1 Sep 2016 In : COMPUTER SYSTEMS SCIENCE AND ENGINEERING. 31, 5, p. 371-383 13 p.

    Research output: Contribution to journalArticle

  27. Reports of the 2016 AAAI workshop program

    Albrecht, S. V. , Bouchard, B. , Brownstein, J. S. , Buckeridge, D. L. , Caragea, C. , Carter, K. M. , Darwiche, A. , Fortuna, B. , Francillette, Y. , Gaboury, S. , Giles, C. L. , Grobelnik, M. , Hruschka, E. B. , Kephart, J. O. , Kordjamshidi, P. , Lisy, V. , Magazzeni, D. , Marques-Silva, J. , Marquis, P. , Martinez, D. & 16 others Michalowski, M., Shaban-Nejad, A., Noorian, Z., Pontelli, E., Rogers, A., Rosenthal, S., Roth, D., Sinha, A., Streilein, W., Thiebaux, S., Tran, S. C., Wallace, B. C., Walsh, T., Witbroc, M., Zhang, J. & Sanner, S. 1 Sep 2016 In : AI MAGAZINE. 37, 3, p. 99-108 10 p.

    Research output: Contribution to journalArticle

  28. A formal framework to represent spatial knowledge

    Della Penna, G., Magazzeni, D. & Orefice, S. 6 Aug 2016 In : KNOWLEDGE AND INFORMATION SYSTEMS. p. 1-28 28 p.

    Research output: Contribution to journalArticle

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

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

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

  32. Heuristic Guidance for Forward-Chaining Planning with Numeric Uncertainty

    Marinescu, L. E. & Coles, A. I. Jun 2016 Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling. AAAI Press

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

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

  34. Task Planning with Control Parameters

    Savas, O. E., Fox, M., Long, D. & Magazzeni, D. Feb 2016 Workshop of the UK Planning & Scheduling Special Interest Group (PlanSIG 2016)

    Research output: Other contribution

  35. Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach

    Chrpa, L., De Schutter, B., Magazzeni, D., McCluskey, T. L. & Vallati, M. 2016 Proceedings of Thirtieth AAAI Conference on Artificial Intelligence . AAAI Press, Vol. 2016, p. 3188-3194

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

  36. Have I Been Here Before? State Memoization in Temporal Planning

    Coles, A. J. & Coles, A. I. 2016 Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling. AAAI Press, p. 97-105 9 p. 12884

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

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

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

  39. Initial State Prediction in Planning

    Krivic, S., Cashmore, M., Ridder, B. C. & Piater, J. 2016 Proceedings of the 31st Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2016). 5 p.

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

  40. Non-deterministic planning with numeric uncertainty

    Marinescu, L. & Coles, A. 2016 Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016). IOS Press, Vol. 285, p. 1694-1695 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 285)

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

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

  42. Optimal simple strategies for persuasion

    Black, E., Coles, A. & Hampson, C. 2016 Frontiers in Artificial Intelligence and Applications: 22nd European Conference on Artificial Intelligence 29 August–2 September 2016, The Hague, The Netherlands. IOS Press, Vol. 285, p. 1736-1737 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 285)

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

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

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

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

  46. Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains

    Penna, G. D., Intrigila, B., Magazzeni, D. & Mercorio, F. 21 Dec 2015 In : INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS. 24, 6, 1550025

    Research output: Contribution to journalArticle

Previous 1 2 3 4 Next

View graph of relations

Search within the list

Refine results

Language

Language

Publication year

Publication year

Full text

Full text

Meeting and poster abstracts

Meeting and poster abstracts

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