Stebėti
Michael Cashmore
Michael Cashmore
University of Strathclyde
Patvirtintas el. paštas strath.ac.uk - Pagrindinis puslapis
Pavadinimas
Cituota
Cituota
Metai
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
4682015
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
1242016
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
952014
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
932019
Towards providing explanations for AI planner decisions
R Borgo, M Cashmore, D Magazzeni
arXiv preprint arXiv:1810.06338, 2018
672018
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
612020
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
59*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
532017
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
472019
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
452017
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
442021
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
412019
Planning for hybrid systems via satisfiability modulo theories
M Cashmore, D Magazzeni, P Zehtabi
Journal of Artificial Intelligence Research 67, 235-283, 2020
382020
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
312019
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
312018
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
292022
Planning as Quantified Boolean Formula
M Cashmore, M Fox, E Giunchiglia
ECAI 2012, 217--222, 2012
272012
Planning as Quantified Boolean Formula
M Cashmore, M Fox, E Giunchiglia
Proceedings of the 29th Workshop of the UK Planning and Scheduling Special …, 2011
272011
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
262018
Partially Grounded Planning as Quantified Boolean Formula
M Cashmore, M Fox
Proceedings of the 23rd International Conference on Automated Planning and …, 2013
212013
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–20