Seguir
Michael Cashmore
Michael Cashmore
University of Strathclyde
Dirección de correo verificada de strath.ac.uk - Página principal
Título
Citado por
Citado por
Año
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
4252015
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
1122016
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
862014
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
802019
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
422017
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
392019
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
382019
Planning for hybrid systems via satisfiability modulo theories
M Cashmore, D Magazzeni, P Zehtabi
Journal of Artificial Intelligence Research 67, 235-283, 2020
332020
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
272021
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
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
252018
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
A logic-based explanation generation framework for classical and hybrid planning problems
SL Vasileiou, W Yeoh, TC Son, A Kumar, M Cashmore, D Magazzeni
Journal of Artificial Intelligence Research 73, 1473-1534, 2022
202022
Partially Grounded Planning as Quantified Boolean Formula
M Cashmore, M Fox
Proceedings of the 23rd International Conference on Automated Planning and …, 2013
202013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20