King's College London

Research portal

Planning

Organisational unit: Research Group

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

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

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

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

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

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

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

  7. Accepted/In press

    Planning for persuasion

    Black, E., Coles, A. J. & Hampson, C. S. 25 Jan 2017 Proceedings of the Sixteenth International Conference on Antonomous Agents and Multiagent Sytems. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  37. 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 In : AUTONOMOUS ROBOTS. p. 1-28 28 p.

    Research output: Contribution to journalArticle

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

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

  40. Artificial Intelligence Planning for AUV Mission Control

    Cashmore, M., Fox, M., Long, D., Magazzeni, D. & Ridder, B. 1 May 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. 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

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

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

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

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

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

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

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

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

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