King's College London

Research portal

Planning

Organisational unit: Research Group

  1. Accepted/In press

    Personalised Medication Planning using PDDL+

    Alaboud, F. K. M. & Coles, A. I. 30 Apr 2018 (Accepted/In press) 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

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

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

  4. CASP solutions for planning in hybrid domains

    BALDUCCINI, M. A. R. C. E. L. L. O., MAGAZZENI, D. A. N. I. E. L. E., MARATEA, M. A. R. C. O. & LEBLANC, E. M. I. L. Y. C. 4 Jul 2017 In : Theory and Practice of Logic Programming. p. 1-43 43 p.

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  37. An extension of metric temporal planning with application to AC voltage control

    Piacentini, C., Alimisis, V., Fox, M. & Long, D. 10 Dec 2015 In : ARTIFICIAL INTELLIGENCE. 229, p. 210-245 36 p.

    Research output: Contribution to journalArticle

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

  39. Accepted/In press

    Toward persistent autonomous intervention in a subsea panel

    Palomeras, N., Carrera, A., Hurtós, N., Karras, G. C., Bechlioulis, C. P., Cashmore, M., Magazzeni, D., Long, D., Fox, M., Kyriakopoulos, K. J., Kormushev, P., Salvi, J. & Carreras, M. 30 Oct 2015 (Accepted/In press) In : AUTONOMOUS ROBOTS. p. 1-28 28 p.

    Research output: Contribution to journalArticle

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

  41. Using agile methods to teach programming to 1st-year computer-science undergraduate students

    Zschaler, S., Coate, K. & Coles, A. Jul 2015 Academic Practice and Technology Conference 2015 (APT'15): Flipping the Institution: Higher Education in the Post Digital Age. University Of Greenwich

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

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

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

  44. Automated planning for urban traffic control: Strategic vehicle routing to respect air quality limitations

    Chrpa, L., Magazzeni, D., McCabe, K., McCluskey, T. L. & Vallati, M. 2015 CEUR Workshop Proceedings. CEUR-WS, Vol. 1493, p. 65-79 15 p.

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

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

  46. On AUV actions to correctly label world information

    Maurelli, F., Saigol, Z., Lane, D., Cashmore, M., Ridder, B. & Magazzeni, D. 2015 Oceans - St. John's, 2014. IEEE, 6 p. 7003104

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

  47. PDDL+ planning with hybrid automata: Foundations of translating must behavior

    Bogomolov, S., Magazzeni, D., Minopoli, S. & Wehrle, M. 2015 Proceedings International Conference on Automated Planning and Scheduling, ICAPS. AAAI Press, Vol. 2015-January, p. 42-46 5 p.

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

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

Previous 1 2 3 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