关注
Daniele Magazzeni
Daniele Magazzeni
Managing Director at J.P. Morgan. Head of XAI Center of Excellence. Visiting Professor at KCL.
在 jpmorgan.com 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
4272015
Explainable planning
M Fox, D Long, D Magazzeni
arXiv preprint arXiv:1709.10256, 2017
3572017
Validation and verification of smart contracts: A research agenda
D Magazzeni, P McBurney, W Nash
Computer 50 (9), 50-57, 2017
2422017
An introduction to the planning domain definition language
P Haslum, N Lipovetzky, D Magazzeni, C Muise, R Brachman, F Rossi, ...
Morgan & Claypool, 2019
2142019
UPMurphi: A tool for universal planning on PDDL+ problems
G Della Penna, D Magazzeni, F Mercorio, B Intrigila
Proceedings of the International Conference on Automated Planning and …, 2009
1522009
Distilling deep reinforcement learning policies in soft decision trees
Y Coppens, K Efthymiadis, T Lenaerts, A Nowé, T Miller, R Weber, ...
Proceedings of the IJCAI 2019 workshop on explainable artificial …, 2019
1202019
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
1142016
Efficient macroscopic urban traffic models for reducing congestion: A PDDL+ planning approach
M Vallati, D Magazzeni, B De Schutter, L Chrpa, T McCluskey
Proceedings of the AAAI conference on artificial intelligence 30 (1), 2016
1032016
Explainable security
L Vigano, D Magazzeni
2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW …, 2020
962020
AUV mission control via temporal planning
M Cashmore, M Fox, T Larkworthy, D Long, D Magazzeni
2014 IEEE international conference on robotics and automation (ICRA), 6535-6541, 2014
872014
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
832019
Automated planning for robotics
E Karpas, D Magazzeni
Annual Review of Control, Robotics, and Autonomous Systems 3, 417-439, 2020
822020
Heuristic planning for PDDL+ domains
WM Piotrowski, M Fox, D Long, D Magazzeni, F Mercorio
Workshops at the Thirtieth AAAI Conference on artificial Intelligence, 2016
792016
Towards providing explanations for AI planner decisions
R Borgo, M Cashmore, D Magazzeni
arXiv preprint arXiv:1810.06338, 2018
652018
Planning as model checking in hybrid domains
S Bogomolov, D Magazzeni, A Podelski, M Wehrle
Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014
602014
Toward persistent autonomous intervention in a subsea panel
N Palomeras, A Carrera, N Hurtós, GC Karras, CP Bechlioulis, ...
Autonomous Robots 40, 1279-1306, 2016
562016
Explainable AI planning (XAIP): overview and the case of contrastive explanation
J Hoffmann, D Magazzeni
Reasoning Web. Explainable Artificial Intelligence: 15th International …, 2019
552019
A universal planning system for hybrid domains
G Della Penna, D Magazzeni, F Mercorio
Applied intelligence 36, 932-959, 2012
552012
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
532020
Automatic construction of efficient multiple battery usage policies
M Fox, D Long, D Magazzeni
Proceedings of the International Conference on Automated Planning and …, 2011
522011
系统目前无法执行此操作,请稍后再试。
文章 1–20