Picture of neon sign reading 'open'

Being more open: International Open Access Week at Strathprints (19-25 Oct 2020)...

Strathprints makes available scholarly Open Access content by researchers from the University of Strathclyde, spanning numerous disciplines across science, engineering, business, social sciences and humanties. 19-25 October 2020 is International Open Access Week, an annual global event to promote the need for, and benefits of, greater Open Access in scholarship. This not only encompasses greater openness of research publications like journal articles and conference papers, but also important outputs of the research process, such as data (e.g. Open Data).

At Strathclyde we are committed to progressing towards full Open Access by 2025. That is why close to 90% of all research is now made available Open Access, principally through Strathprints. Explore all of Strathclyde's Open Access research...

Browse by Author or creator

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Publication Date | Item type | No Grouping
Jump to: 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2012
Number of items: 24.

2020

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

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. 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. 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. Working paper. arXiv.org, Ithica, N.Y..

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.

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 Tue Oct 20 16:43:32 2020 BST.