Dr Daniele Magazzeni Dr Daniele Magazzeni Academics Supervisors Reader in Artificial Intelligence Co-Director of Centre for Doctoral Training in Safe and Trusted AI. Research subject areas Computer science Contact details daniele.magazzeni@kcl.ac.uk
A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems Vasileiou, S. L., Yeoh, W., Son, T. C., Kumar, A., Cashmore, M. & Magazzeni, D., 2022, In: Journal of Artificial Intelligence Research. 73, p. 1473-1534 62 p. Research output: Contribution to journal › Article › peer-review. DOIs: https://doi.org/10.1613/jair.1.13431 Automated Planning for Robotics Karpas, E. & Magazzeni, D., 3 May 2020, In: Annual Review of Control, Robotics, and Autonomous Systems. 3, p. 417-439 23 p. Research output: Contribution to journal › Review article › peer-review. DOIs: https://doi.org/10.1146/annurev-control-082619-100135 Contrastive explanations of plans through model restrictions Krarup, B., Krivic, S., Magazzeni, D., Long, D., Cashmore, M. & Smith, D. E., 27 Oct 2021, In: Journal of Artificial Intelligence Research. 72, p. 533-612 80 p. Research output: Contribution to journal › Article › peer-review. DOIs: https://doi.org/10.1613/JAIR.1.12813 Efficient anytime computation and execution of decoupled robustness envelopes for temporal plans Cashmore, M., Cimatti, A., Magazzeni, D., Micheli, A. & Zehtabi, P., 1 Sep 2021, 28th International Symposium on Temporal Representation and Reasoning, TIME 2021. Combi, C., Eder, J. & Reynolds, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 206). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review. DOIs: https://doi.org/10.4230/LIPIcs.TIME.2021.13 Towards providing explanations for robot motion planning Brandao, M., Canal, G., Krivic, S. & Magazzeni, D., 2021, (Accepted/In press) 2021 IEEE International Conference on Robotics and Automation. Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review Let's learn their language? a case for planning with automata-network languages from model checking Hoffmann, J., Hermanns, H., Klauck, M., Steinmetz, M., Karpas, E. & Magazzeni, D., 2020, AAAI 2020 - 34th AAAI Conference on Artificial Intelligence. AAAI Press, p. 13569-13575 7 p. (AAAI 2020 - 34th AAAI Conference on Artificial Intelligence). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning Eifler, R., Cashmore, M., Hoffmann, J., Magazzeni, D. & Steinmetz, M., 2020, AAAI 2020 - 34th AAAI Conference on Artificial Intelligence. AAAI Press, p. 9818-9826 9 p. (AAAI 2020 - 34th AAAI Conference on Artificial Intelligence). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review User interfaces and scheduling and planning: Workshop summary and proposed challenges Freedman, R. G., Chakraborti, T., Talamadupula, K., Magazzeni, D. & Frank, J. D., 2018, p. 373-377. 5 p. Research output: Contribution to conference types › Paper › peer-review Intent-driven strategic tactical planning for autonomous site inspection using cooperative drones Buksz, D., Mujumdar, A., Orlic, M., Mohalik, S., Daoutis, M., Badrinath, R., Magazzeni, D., Cashmore, M. & Vulgarakis Feljan, A., 24 Oct 2020, 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2020. Institute of Electrical and Electronics Engineers Inc., p. 6733-6740 8 p. 9341440. (IEEE International Conference on Intelligent Robots and Systems). Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review. DOIs: https://doi.org/10.1109/IROS45743.2020.9341440 Explaining Path Plan Optimality: Fast Explanation Methods for Navigation Meshes Using Full and Incremental Inverse Optimization Brandao, M., Coles, A. & Magazzeni, D., 2021, (Accepted/In press) Proceedings of the 2021 International Conference on Automated Planning and Scheduling. Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review View all publications