עקוב אחר
Daniele Magazzeni
Daniele Magazzeni
J.P. Morgan. Chief Analytics Officer for the Commercial and Investment Bank
כתובת אימייל מאומתת בדומיין 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‏
4662015
Explainable planning‏
M Fox, D Long, D Magazzeni‏
arXiv preprint arXiv:1709.10256, 2017‏
3852017
An introduction to the planning domain definition language‏
P Haslum, N Lipovetzky, D Magazzeni, C Muise, R Brachman, F Rossi, ...‏
Morgan & Claypool Publishers 13, 1-187, 2019‏
2712019
Validation and verification of smart contracts: A research agenda‏
D Magazzeni, P McBurney, W Nash‏
Computer 50 (9), 50-57, 2017‏
2592017
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‏
1632009
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‏
1362019
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
Explainable security‏
L Vigano, D Magazzeni‏
2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW …, 2020‏
1162020
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‏
1142016
Automated planning for robotics‏
E Karpas, D Magazzeni‏
Annual Review of Control, Robotics, and Autonomous Systems 3 (1), 417-439, 2020‏
1002020
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‏
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
Heuristic Planning for PDDL+ Domains.‏
WM Piotrowski, M Fox, D Long, D Magazzeni, F Mercorio‏
AAAI Workshop: Planning for Hybrid Systems 16, 12, 2016‏
852016
Counterfactual shapley additive explanations‏
E Albini, J Long, D Dervovic, D Magazzeni‏
Proceedings of the 2022 ACM conference on fairness, accountability, and …, 2022‏
762022
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
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‏
612014
A survey on the robustness of feature importance and counterfactual explanations‏
S Mishra, S Dutta, J Long, D Magazzeni‏
arXiv preprint arXiv:2111.00358, 2021‏
592021
Explainable AI planning (XAIP): overview and the case of contrastive explanation‏
J Hoffmann, D Magazzeni‏
Reasoning Web. Explainable Artificial Intelligence: 15th International …, 2019‏
592019
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‏
592016
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20