| 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 | 427 | 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 | 114 | 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 | 87 | 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 | 83 | 2019 |
| Towards providing explanations for AI planner decisions R Borgo, M Cashmore, D Magazzeni arXiv preprint arXiv:1810.06338, 2018 | 65 | 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 | 56* | 2016 |
| 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 | 53 | 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 | 49 | 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 | 42 | 2017 |
| 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 | 40 | 2019 |
| 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 | 39 | 2019 |
| Planning for hybrid systems via satisfiability modulo theories M Cashmore, D Magazzeni, P Zehtabi Journal of Artificial Intelligence Research 67, 235-283, 2020 | 34 | 2020 |
| 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 | 30 | 2021 |
| 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 | 29 | 2018 |
| 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 | 25 | 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 | 25 | 2018 |
| Planning as Quantified Boolean Formula M Cashmore, M Fox, E Giunchiglia ECAI 2012, 217--222, 2012 | 25 | 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 | 25 | 2011 |
| 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 | 23 | 2022 |
| Partially Grounded Planning as Quantified Boolean Formula M Cashmore, M Fox Proceedings of the 23rd International Conference on Automated Planning and …, 2013 | 20 | 2013 |
Daniele MagazzeniManaging Director at J.P. Morgan. Head of XAI Center of Excellence. Visiting Professor at KCL.在 jpmorgan.com 的电子邮件经过验证
