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
2532015
A compilation of the full PDDL+ language into SMT
M Cashmore, M Fox, D Long, D Magazzeni
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence, 2016
792016
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
662014
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
42*2016
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
382019
Towards providing explanations for AI planner decisions
R Borgo, M Cashmore, D Magazzeni
arXiv preprint arXiv:1810.06338, 2018
342018
Model-based contrastive explanations for explainable planning
B Krarup, M Cashmore, D Magazzeni, T Miller
AAAI Press, 2019
282019
Short-term human-robot interaction through conditional planning and execution
V Sanelli, M Cashmore, D Magazzeni, L Iocchi
Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017
272017
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
232020
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
232017
Planning as Quantified Boolean Formula
M Cashmore, M Fox, E Giunchiglia
ECAI 2012, 217--222, 2012
212012
Planning as Quantified Boolean Formula
M Cashmore, M Fox, E Giunchiglia
Proceedings of the 29th Workshop of the UK Planning and Scheduling Special …, 2011
212011
Probabilistic planning for robotics with ROSPlan
G Canal, M Cashmore, S Krivić, G Alenyà, D Magazzeni, C Torras
Annual Conference Towards Autonomous Robotic Systems, 236-250, 2019
172019
Partially Grounded Planning as Quantified Boolean Formula
M Cashmore, M Fox
Proceedings of the 23rd International Conference on Automated Planning and …, 2013
172013
Partially Grounded Planning as Quantified Boolean Formula
M Cashmore, M Fox
Proceedings of the Workshop on Constraint Satisfaction Techniques for …, 2012
172012
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
152018
Planning Inspection Tasks for AUVs
M Cashmore, M Fox, T Larkworthy, D Long, D Magazzeni
OCEANS 2013, 2013
122013
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
102018
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
92019
Explaining the space of plans through plan-property dependencies
R Eifler, M Cashmore, J Hoffmann, D Magazzeni, M Steinmetz
Proceedings of the 2nd Workshop on Explainable Planning (XAIP 2019), 2019
92019
The system can't perform the operation now. Try again later.
Articles 1–20