Follow
Michael Cashmore
Michael Cashmore
Verified email at strath.ac.uk - Homepage
Title
Cited by
Cited by
Year
Rosplan: Planning in the robot operating system
M Cashmore, M Fox, D Long, D Magazzeni, B Ridder, A Carrera, ...
Proceedings of the international conference on automated planning and …, 2015
4182015
A compilation of the full PDDL+ language into SMT
M Cashmore, M Fox, D Long, D Magazzeni
Proceedings of the international conference on automated planning and …, 2016
1112016
AUV Mission Control Via Temporal Planning
M Cashmore, M Fox, L Tom, D Long, Magazzeni, Daniele
2014 IEEE International Conference on Robotics and Automation (ICRA 2014), 2014
852014
Towards explainable AI planning as a service
M Cashmore, A Collins, B Krarup, S Krivic, D Magazzeni, D Smith
arXiv preprint arXiv:1908.05059, 2019
792019
Towards providing explanations for AI planner decisions
R Borgo, M Cashmore, D Magazzeni
arXiv preprint arXiv:1810.06338, 2018
652018
Toward persistent autonomous intervention in a subsea panel
N Palomeras Rovira, A Carrera Viñas, N Hurtós Vilarnau, GC Karras, ...
© Autonomous Robots, 2016, vol. 40, núm. 7, p. 1279-1306, 2016
56*2016
Opportunistic planning in autonomous underwater missions
M Cashmore, M Fox, D Long, D Magazzeni, B Ridder
IEEE Transactions on Automation Science and Engineering 15 (2), 519-530, 2017
492017
A new approach to plan-space explanation: Analyzing plan-property dependencies in oversubscription planning
R Eifler, M Cashmore, J Hoffmann, D Magazzeni, M Steinmetz
Proceedings of the AAAI Conference on Artificial Intelligence 34 (06), 9818-9826, 2020
482020
Short-term human-robot interaction through conditional planning and execution
V Sanelli, M Cashmore, D Magazzeni, L Iocchi
Proceedings of the International Conference on Automated Planning and …, 2017
412017
Probabilistic planning for robotics with ROSPlan
G Canal, M Cashmore, S Krivić, G Alenyà, D Magazzeni, C Torras
Towards Autonomous Robotic Systems: 20th Annual Conference, TAROS 2019 …, 2019
372019
Model-based contrastive explanations for explainable planning
B Krarup, M Cashmore, D Magazzeni, T Miller
29th International Conference on Automated Planning and Scheduling-ICAPS 2019, 2019
362019
Planning for hybrid systems via satisfiability modulo theories
M Cashmore, D Magazzeni, P Zehtabi
Journal of Artificial Intelligence Research 67, 235-283, 2020
312020
Temporal planning while the clock ticks
M Cashmore, A Coles, B Cserna, E Karpas, D Magazzeni, W Ruml
Proceedings of the International Conference on Automated Planning and …, 2018
292018
Contrastive explanations of plans through model restrictions
B Krarup, S Krivic, D Magazzeni, D Long, M Cashmore, DE Smith
Journal of Artificial Intelligence Research 72, 533-612, 2021
262021
Replanning for situated robots
M Cashmore, A Coles, B Cserna, E Karpas, D Magazzeni, W Ruml
Proceedings of the International Conference on Automated Planning and …, 2019
252019
Planning as Quantified Boolean Formula
M Cashmore, M Fox, E Giunchiglia
ECAI 2012, 217--222, 2012
252012
Planning as Quantified Boolean Formula
M Cashmore, M Fox, E Giunchiglia
Proceedings of the 29th Workshop of the UK Planning and Scheduling Special …, 2011
252011
Strategic-tactical planning for autonomous underwater vehicles over long horizons
D Buksz, M Cashmore, B Krarup, D Magazzeni, B Ridder
2018 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2018
242018
Partially Grounded Planning as Quantified Boolean Formula
M Cashmore, M Fox
Proceedings of the 23rd International Conference on Automated Planning and …, 2013
202013
Partially Grounded Planning as Quantified Boolean Formula
M Cashmore, M Fox
Proceedings of the Workshop on Constraint Satisfaction Techniques for …, 2012
202012
The system can't perform the operation now. Try again later.
Articles 1–20