Neon sign displaying the word 'open'.

International Open Access Week! Discover open research knowledge at Strathprints...

25-31 October is International Open Access Week 2021, the theme of which is 'Building Structural Equity' into open knowledge, aligning closely with UNESCO's recently released Recommendation on Open Science.

The Strathprints repository provides a digital archive of University of Strathclyde research outputs. Up to 95% of University of Strathclyde research content published since 2015, such as papers and articles, is available from this repository as Open Access thereby supporting equity in open knowledge - and the team supporting open initiatives at Strathclyde is working tirelessly to make even more content open! Explore recent Open Access research content by world leading researchers across science, engineering, business, social sciences and humanities disciplines.

Or explore all Open Access research content...

Browse by Author or creator

Group by: Publication Date | Item type | No Grouping
Jump to: 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2012
Number of items: 37.

2021

Ribeiro, Tomás and Lima, Oscar and Cashmore, Michael and Micheli, Andrea and Ventura, Rodrigo; Combi, Carlo and Eder, Johann and Reynolds, Mark, eds. (2021) Olisipo : A probabilistic approach to the adaptable execution of deterministic temporal plans. In: 28th International Symposium on Temporal Representation and Reasoning (TIME 2021). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany. ISBN 9783959772068

Keren, Sarah and Canal, Gerard and Cashmore, Michael; (2021) Task-aware waypoint sampling for robotic planning. In: Proceedings of the International Conference on Automated Planning and Scheduling. AAAI Press, CHN, pp. 643-651.

Nemiro, Liudvikas and Canal, Gerard and Lima, Oscar and Cashmore, Michael and Roberts, Mark (2021) Designing an adaptable benchmark and competition simulation for integrated planning and execution. In: The International Conference on Automated Planning and Scheduling 2021, 2021-08-02 - 2021-08-13, Virtual.

Bezrucav, Stefan-Octavian and Canal, Gerard and Cashmore, Michael and Corves, Burkhard (2021) An action interface manager for ROSPlan. In: The International Conference on Automated Planning and Scheduling 2021, 2021-08-02 - 2021-08-13, Virtual.

Cashmore, Michael and Cimatti, Alessandro and Magazzeni, Daniele and Micheli, Andrea and Zehtabi, Parisa; (2021) Efficient anytime computation and execution of decoupled robustness envelopes for temporal plans. In: TIME 2021 - International Symposium on Temporal Representation and Reasoning. Dagstuhl Publishing. (In Press)

Krarup, Benjamin and Krivic, Senka and Magazzeni, Daniele and Long, Derek and Cashmore, Michael and Smith, David E (2021) Contrastive explanations of plans through model restrictions. Preprint / Working Paper. arXiv.org, Ithaca, N.Y..

Keren, Sarah and Canal, Gerard and Cashmore, Michael (2021) Task-aware waypoint sampling for robotic planning. In: Association for the Advancement of Artificial Intelligence Spring Conference Series, 2021-03-22 - 2021-03-24, Online.

Buksz, Dorian and Mujumdar, Anusha and Orlić, Marin and Mohalik, Swarup and Daoutis, Marios and Badrinath, Ramamurthy and Magazzeni, Daniele and Cashmore, Michael and Feljan, Anerta Vulgarakis; (2021) Intent-driven strategic tactical planning for autonomous site inspection using cooperative drones. In: 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2020. IEEE International Conference on Intelligent Robots and Systems . IEEE, Piscataway, N.J., pp. 6733-6740. ISBN 9781728162126

2020

Krivic, Senka and Cashmore, Michael and Magazzeni, Daniele and Szedmak, Sandor and Piater, Justus (2020) Using machine learning for decreasing state uncertainty in planning. Journal of Artificial Intelligence Research, 69. pp. 765-806. ISSN 1076-9757

Cashmore, Michael and Cimatti, Alessandro and Magazzeni, Daniele and Micheli, Andrea and Zehtabi, Parisa (2020) Efficient anytime computation and execution of decoupled robustness envelopes for temporal plans. In: Integrated Execution (IntEx) / Goal Reasoning (GR), 2020-10-19 - 2020-10-30, Virtual.

Keren, Sarah and Canal, Gerard and Cashmore, Michael (2020) Task-aware waypoint sampling for planning robots. In: Planning and Robotics 2020, 2020-10-19 - 2020-10-30, Virtual.

Lima, Oscar and Cashmore, Michael and Magazzeni, Daniele and Micheli, Andrea and Ventura, Rodrigo; (2020) Robust execution of deterministic plans in non-deterministic environments. In: Workshop on Integrated Execution (IntEx) and Goal Reasoning (GR), International Conference on Automated Planning and Scheduling. ICAPS, [Germany].

Eifler, Rebecca and Cashmore, Michael and Hoffmann, Jörg and Magazzeni, Daniele and Steinmetz, Marcel; (2020) A new approach to plan-space explanation: analyzing plan-property dependencies in oversubscription planning. In: Proceedings of the AAAI Conference on Artificial Intelligence. AAAI Press, Palo Alto, California USA, pp. 9818-9826. ISBN 9781577358350

Lima, Oscar and Cashmore, Michael and Magazzeni, Daniele and Micheli, Andrea and Ventura, Rodrigo (2020) Robust plan execution with unexpected observations. Preprint / Working Paper. arXiv.org, Ithaca, New York.

Cashmore, Michael and Magazzeni, Daniele and Zehtabi, Parisa (2020) Planning for hybrid systems via Satisfiability Modulo Theories. Journal of Artificial Intelligence Research, 67. pp. 235-283. ISSN 1076-9757

2019

Cashmore, Michael and Cimatti, Alessandro and Magazzeni, Daniele and Micheli, Andrea and Zehtabi, Parisa (2019) Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans. Preprint / Working Paper. arXiv.org, Ithica, N.Y..

Moon, Jiyoun and Magazzeni, Daniele and Cashmore, Michael and Buksz, Dorian and Lee, Beom-Hee and Moon, Yong-Seon and Roh, Sang-Hyun; (2019) Towards explanations of plan execution for human-robot teaming. In: SDMM19 : 1st International Workshop on the Semantic Descriptor, Semantic Modeling and Mapping for Humanlike Perception and Navigation of Mobile Robots toward Large Scale Long-Term Autonomy. CEUR Workshop Proceedings, CHN, pp. 58-64.

Krarup, Benjamin and Cashmore, Michael and Magazzeni, Daniele and Miller, Tim; (2019) Model-based contrastive explanations for explainable planning. In: ICAPS 2019 Workshop on Explainable AI Planning (XAIP). AAAI Press, USA.

Cashmore, Michael and Collins, Anna and Krarup, Benjamin and Krivic, Senka and Magazzeni, Daniele and Smith, David (2019) Towards explainable AI planning as a service. In: 2nd ICAPS Workshop on Explainable Planning, 2019-07-12 - 2019-07-12.

Cashmore, Michael and Coles, Andrew and Cserna, Bence and Karpas, Erez and Magazzeni, Daniele and Ruml, Wheeler; (2019) Replanning for situated robots. In: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS) 2019. AAAI Press, USA.

Eifler, Rebecca and Cashmore, Michael and Hoffmann, Jörg and Magazzeni, Daniele and Steinmetz, Marcel; (2019) Explaining the space of plans through plan-property dependencies. In: Proceedings of the 2nd Workshop on Explainable Planning (XAIP 2019). King's College London, London, pp. 61-68.

Cashmore, Michael and Cimatti, Alessandro and Magazzeni, Daniele and Micheli, Andrea and Zehtabi, Parisa; (2019) Robustness envelopes for temporal plans. In: Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence. AAAI Press, USA.

2018

Borgo, Rita and Cashmore, Michael and Magazzeni, Daniele (2018) Towards Providing Explanations for AI Planner Decisions. In: IJCAI/ECAI 2018 Workshop on Explainable Artificial Intelligence (XAI), 2018-07-13 - 2018-07-13, Stockholmsmässan.

Cashmore, Michael and Coles, Andrew and Cserna, Bence and Karpas, Erez and Magazzeni, Daniele and Ruml, Wheeler; (2018) Temporal planning while the clock ticks. In: Proceedings of the 28th International Conference on Automated Planning and Scheduling, ICAPS 2018. AAAI Press, NLD, pp. 39-46.

Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele and Ridder, Bram (2018) Opportunistic planning in autonomous underwater missions. IEEE Transactions on Automation Science and Engineering, 15 (2). pp. 519-530. ISSN 1545-5955

Cashmore, Michael and Coles, Andrew and Cserna, Bence and Karpas, Erez and Magazzeni, Daniele and Ruml, Wheeler; (2018) Situated planning for execution under temporal constraints. In: Proceedings of the AAAI 2018 Spring Symposium on Integrating Representation, Reasoning, Learning, and Execution for Goal Directed Autonomy. AAAI Press, USA.

2017

Krivic, Senka and Cashmore, Michael and Magazzeni, Daniele and Ridder, Bram and Szedmak, Sandor and Piater, Justus; Sierra, Carles, ed. (2017) Decreasing uncertainty in planning with state prediction. In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence IJCAI-17. IJCAI, AUS, pp. 2032-2038. ISBN 9780999241103

Sanelli, Valerio and Cashmore, Michael and Magazzeni, Daniele and Iocchi, Luca; (2017) Short-term human-robot interaction through conditional planning and execution. In: Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling (ICAPS 2017). AAAI Press, USA. ISBN 9781577357896

Krivic, Senka and Cashmore, Michael and Ridder, Bram and Piater, Justus; (2017) Initial state prediction in planning. In: The AAAI-17 Workshop on Knowledge-Based Techniques for Problem Solving and Reasoning. AAAI Press, Palo Alto, US-CA..

Krivic, Senka and Cashmore, Michael and Ridder, Bram and Magazzeni, Daniele and Szedmak, Sandor and Piater, Justus; (2017) Initial state prediction in planning. In: The AAAI-17 Workshop on Knowledge-Based Techniques for Problem Solving and Reasoning - Technical Report. AAAI Press, Menlo Park, US-CA.. ISBN 9781577357865

2016

Ridder, Bram and Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele; (2016) Factorised contingency planning. In: Proceedings of the 34th Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2016). University of Huddersfield, Huddersfield.

Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele and Ridder, Bram; Finzi, Alberto and Karpas, Erez, eds. (2016) Opportunistic planning for increased plan utility. In: Proceedings of the 4th ICAPS Workshop on Planning and Robotics (PlanRob). ICAPS, [London].

Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele and Ridder, Bram; (2016) Strategic planning for autonomous systems over long horizons. In: Proceedings of the 4th ICAPS Workshop on Planning and Robotics (PlanRob). ICAPS, London, pp. 74-81.

Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele; (2016) A compilation of the full PDDL+ language into SMT. In: Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling (ICAPS 2016). AAAI Press, Menlo Park, US-CA., pp. 583-591.

2015

Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele and Ridder, Bram and De Carolis, Valerio and Lane, David and Maurelli, Francesco; Finzi, Alberto and Ingrand, Felix and Orlandini, Andrea, eds. (2015) Dynamically extending planning models using an ontology. In: Proceedings of the 2nd ICAPS Workshop on Planning and Robotics (PlanRob). ICAPS, [Jerusalem], pp. 79-85.

Cashmore, Michael and Fox, Maria and Long, Derek and Magazzeni, Daniele and Ridder, Bram and Carrera, Arnau and Palomeras, Narcis and Hurtós, Natalia and Carreras, Marc; Brafman, Ronen and Domshlak, Carmel and Haslum, Patrik and Zilberstein, Shlomo, eds. (2015) Rosplan : planning in the robot operating system. In: Proceedings International Conference on Automated Planning and Scheduling, ICAPS. AAAI Press, ISR, pp. 333-241. ISBN 9781577357315

2012

Cashmore, Michael and Fox, Maria and Giunchiglia, Enrico; (2012) Planning as quantified boolean formula. In: Proceedings of the 20th European Conference on Artificial Intelligence (ECAI) 2012. IOS Press, FRA, pp. 217-222. ISBN 9781614990970

This list was generated on Thu Oct 21 07:34:35 2021 BST.