Michael Cashmore
Michael Cashmore
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα strath.ac.uk - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
2302015
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
772016
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
632014
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
312019
Towards providing explanations for AI planner decisions
R Borgo, M Cashmore, D Magazzeni
arXiv preprint arXiv:1810.06338, 2018
302018
Model-based contrastive explanations for explainable planning
B Krarup, M Cashmore, D Magazzeni, T Miller
AAAI Press, 2019
232019
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
222017
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
222017
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
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
202020
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
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
142019
Planning Inspection Tasks for AUVs
M Cashmore, M Fox, T Larkworthy, D Long, D Magazzeni
OCEANS 2013, 2013
122013
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
102018
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
92018
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
82019
Decreasing uncertainty in planning with state prediction
S Krivic, M Cashmore, D Magazzeni, BC Ridder, S Szedmak, J Piater
IJCAI-17, 2032-2038, 2017
82017
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20