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, ...
Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015
1482015
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
592016
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
522014
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
33*2016
Planning as Quantified Boolean Formula
M Cashmore, M Fox, E Giunchiglia
ECAI 2012, 217--222, 2012
162012
Planning as Quantified Boolean Formula
M Cashmore, M Fox, E Giunchiglia
Proceedings of the 29th Workshop of the UK Planning and Scheduling Special …, 2011
162011
Towards providing explanations for AI planner decisions
R Borgo, M Cashmore, D Magazzeni
arXiv preprint arXiv:1810.06338, 2018
152018
Partially Grounded Planning as Quantified Boolean Formula
M Cashmore, M Fox
Proceedings of the 23rd International Conference on Automated Planning and …, 2013
152013
Partially Grounded Planning as Quantified Boolean Formula
M Cashmore, M Fox
Proceedings of the Workshop on Constraint Satisfaction Techniques for …, 2012
152012
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
142017
Planning Inspection Tasks for AUVs
M Cashmore, M Fox, T Larkworthy, D Long, D Magazzeni
OCEANS 2013, 2013
122013
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
112017
Temporal planning while the clock ticks
M Cashmore, A Coles, B Cserna, E Karpas, D Magazzeni, W Ruml
Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
62018
Model-based contrastive explanations for explainable planning
B Krarup, M Cashmore, D Magazzeni, T Miller
AAAI Press, 2019
52019
Artificial Intelligence Planning for AUV Mission Control
M Cashmore, M Fox, D Long, D Magazzeni, B Ridder
Proceedings of the IFAC Workshop on Navigation, Guidance and Control of …, 2015
52015
Situated planning for execution under temporal constraints
M Cashmore, A Coles, B Cserna, E Karpas, D Magazzeni, W Ruml
2018 AAAI Spring Symposium Series, 2018
42018
Decreasing uncertainty in planning with state prediction
S Krivic, M Cashmore, D Magazzeni, B Ridder, S Szedmak, J Piater
IJCAI, 2017
42017
Opportunistic Planning for Increased Plan Utility
M Cashmore, M Fox, D Long, D Magazzeni, B Ridder
Proceedings of the 4th ICAPS Workshop on Planning and Robotics (PlanRob 2016 …, 2016
42016
Robustness envelopes for temporal plans
M Cashmore, A Cimatti, D Magazzeni, A Micheli, P Zehtabi
Proceedings of the AAAI Conference on Artificial Intelligence 33, 7538-7545, 2019
32019
Dynamically extending planning models using an ontology
M Cashmore, M Fox, D Long, D Magazzeni, B Ridder, V De Carolis, ...
ICAPS, 2015
32015
The system can't perform the operation now. Try again later.
Articles 1–20