Michael Cashmore

Cited by

	All	Since 2018
Citations	1151	988
h-index	17	15
i10-index	20	19

240

120

180

201420152016201720182019202020212022202311 19 50 74 100 127 229 225 225 82

Public access

View all

14 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Daniele MagazzeniManaging Director at J.P. Morgan. Head of XAI Center of Excellence. Visiting Professor at KCL.Verified email at jpmorgan.com
Maria FoxBritish Antarctic SurveyVerified email at bas.ac.uk
Derek LongProfessor of Computer Science, King's College LondonVerified email at kcl.ac.uk
Bram RidderKing's College LondonVerified email at kcl.ac.uk
Senka KrivićAssistant Professor at Faculty of Electrical Engineering, University of SarajevoVerified email at etf.unsa.ba
Benjamin KrarupPostgraduate Student, King's College LondonVerified email at kcl.ac.uk
Narcís PalomerasUniversitat de GironaVerified email at eia.udg.edu
Arnau Carrera ViñasSubdron GmbHVerified email at subdron.com
Marc CarrerasUniversity of gironaVerified email at udg.edu
Natàlia Hurtós VilarnauUniversitat de GironaVerified email at eia.udg.edu
Gerard CanalLecturer in Autonomous Systems / RAEng UK IC Postdoctoral Research Fellow, King's College LondonVerified email at kcl.ac.uk
Andrew ColesReader in Artificial Intelligence, King's College LondonVerified email at kcl.ac.uk
Andrea MicheliFondazione Bruno KesslerVerified email at fbk.eu
Erez KarpasTechnionVerified email at technion.ac.il
Wheeler RumlUniversity of New HampshireVerified email at cs.unh.edu
Bence CsernaUniversity of New HampshireVerified email at cserna.net
David SmithSchool of Geography University of OxfordVerified email at ouce.ox.ac.uk
Parisa ZehtabiKing's College londonVerified email at kcl.ac.uk
Enrico GiunchigliaDIBRIS - Università di GenovaVerified email at unige.it
Bechlioulis CharalamposAssociate Professor, Department of Electrical and Computer Engineering, University of PatrasVerified email at upatras.gr

Michael Cashmore

University of Strathclyde

Verified email at strath.ac.uk - Homepage

Automated Planning


Title Sort by citations Sort by year Sort by 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	353	2015
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	100	2016
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	78	2014
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	68	2019
Towards providing explanations for AI planner decisions R Borgo, M Cashmore, D Magazzeni arXiv preprint arXiv:1810.06338, 2018	54	2018
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	53*	2016
Model-based contrastive explanations for explainable planning B Krarup, M Cashmore, D Magazzeni, T Miller AAAI Press, 2019	43	2019
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	42	2020
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	41	2017
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	33	2017
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	29	2019
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	26	2018
Planning as Quantified Boolean Formula M Cashmore, M Fox, E Giunchiglia ECAI 2012, 217--222, 2012	24	2012
Planning as Quantified Boolean Formula M Cashmore, M Fox, E Giunchiglia Proceedings of the 29th Workshop of the UK Planning and Scheduling Special …, 2011	24	2011
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	21	2019
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	21	2018
Planning for hybrid systems via satisfiability modulo theories M Cashmore, D Magazzeni, P Zehtabi Journal of Artificial Intelligence Research 67, 235-283, 2020	19	2020
Partially Grounded Planning as Quantified Boolean Formula M Cashmore, M Fox Proceedings of the 23rd International Conference on Automated Planning and …, 2013	19	2013
Partially Grounded Planning as Quantified Boolean Formula M Cashmore, M Fox Proceedings of the Workshop on Constraint Satisfaction Techniques for …, 2012	19	2012
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	14	2021

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors