Daniele Magazzeni
Orcid: 0000-0002-1934-3447Affiliations:
- King's College London, Department of Informatics
According to our database1,
Daniele Magazzeni
authored at least 118 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on twitter.com
-
on orcid.org
On csauthors.net:
Bibliography
2024
Capacity planning and scheduling for jobs with uncertainty in resource usage and duration.
J. Supercomput., October, 2024
IEEE J. Sel. Areas Inf. Theory, 2024
Deep Reinforcement Learning and Mean-Variance Strategies for Responsible Portfolio Optimization.
CoRR, 2024
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
Progressive Inference: Explaining Decoder-Only Sequence Classification Models Using Intermediate Predictions.
Proceedings of the Forty-first International Conference on Machine Learning, 2024
Proceedings of the Forty-first International Conference on Machine Learning, 2024
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
SHAP@k: Efficient and Probably Approximately Correct (PAC) Identification of Top-K Features.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Towards Accelerating Benders Decomposition via Reinforcement Learning Surrogate Models.
CoRR, 2023
Comparing Apples to Oranges: Learning Similarity Functions for Data Produced by Different Distributions.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023
A Logic-based Explanation Generation Framework for Classical and Hybrid Planning Problems (Extended Abstract).
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Proceedings of the International Conference on Machine Learning, 2023
Robust Counterfactual Explanations for Neural Networks With Probabilistic Guarantees.
Proceedings of the International Conference on Machine Learning, 2023
Proceedings of the International Conference on Artificial Intelligence and Statistics, 2023
Proceedings of the 2023 AAAI/ACM Conference on AI, Ethics, and Society, 2023
On the Connection between Game-Theoretic Feature Attributions and Counterfactual Explanations.
Proceedings of the 2023 AAAI/ACM Conference on AI, Ethics, and Society, 2023
2022
A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems.
J. Artif. Intell. Res., 2022
Learn to explain yourself, when you can: Equipping Concept Bottleneck Models with the ability to abstain on their concept predictions.
CoRR, 2022
Rethinking Log Odds: Linear Probability Modelling and Expert Advice in Interpretable Machine Learning.
CoRR, 2022
Towards learning to explain with concept bottleneck models: mitigating information leakage.
CoRR, 2022
Global Counterfactual Explanations: Investigations, Implementations and Improvements.
CoRR, 2022
Proceedings of the International Conference on Machine Learning, 2022
Proceedings of the FAccT '22: 2022 ACM Conference on Fairness, Accountability, and Transparency, Seoul, Republic of Korea, June 21, 2022
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022
Optimal Admission Control for Multiclass Queues with Time-Varying Arrival Rates via State Abstraction.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
J. Artif. Intell. Res., 2021
CoRR, 2021
Graph Reasoning with Context-Aware Linearization for Interpretable Fact Extraction and Verification.
CoRR, 2021
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans.
Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021
Proceedings of the IEEE International Conference on Robotics and Automation, 2021
Proceedings of the ICAIF'21: 2nd ACM International Conference on AI in Finance, Virtual Event, November 3, 2021
Explaining Path Plan Optimality: Fast Explanation Methods for Navigation Meshes Using Full and Incremental Inverse Optimization.
Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021
2020
J. Artif. Intell. Res., 2020
J. Artif. Intell. Res., 2020
Intent-driven Strategic Tactical Planning for Autonomous Site Inspection using Cooperative Drones.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020
Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2020
Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, ISBN: 978-3-031-01584-7, 2019
Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans.
CoRR, 2019
Proceedings of the Towards Autonomous Robotic Systems - 20th Annual Conference, 2019
Explainable AI Planning (XAIP): Overview and the Case of Contrastive Explanation (Extended Abstract).
Proceedings of the Reasoning Web. Explainable Artificial Intelligence, 2019
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
IEEE Trans Autom. Sci. Eng., 2018
Integrating Temporal Reasoning and Sampling-Based Motion Planning for Multigoal Problems With Dynamics and Time Windows.
IEEE Robotics Autom. Lett., 2018
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
User Interfaces and Scheduling and Planning: Workshop Summary and Proposed Challenges.
Proceedings of the 2018 AAAI Spring Symposia, 2018
Proceedings of the 2018 AAAI Spring Symposia, 2018
2017
Proceedings of the 2017 IEEE International Conference on Robotics and Biomimetics, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017
Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017
Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
Intelligenza Artificiale, 2016
Automated planning for Urban traffic control: Strategic vehicle routing to respect air quality limitations.
Intelligenza Artificiale, 2016
Extending visual information extraction to biomedical applications.
Comput. Syst. Sci. Eng., 2016
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
Solving Realistic Unit Commitment Problems Using Temporal Planning: Challenges and Solutions.
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016
Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
Proceedings of the Planning for Hybrid Systems, 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
Proceedings of the Planning for Hybrid Systems, 2016
2015
Int. J. Artif. Intell. Tools, 2015
AI Mag., 2015
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015
2014
Dagstuhl Reports, 2014
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
2013
A general theory of spatial relations to support a graphical tool for visual information extraction.
J. Vis. Lang. Comput., 2013
Sybel: a System Modelling Language Enhancing Automatic Support in the Software Development Process.
Int. J. Softw. Eng. Knowl. Eng., 2013
Eur. J. Control, 2013
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013
2012
Knowl. Inf. Syst., 2012
J. Artif. Intell. Res., 2012
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012
2011
Appl. Soft Comput., 2011
Proceedings of the IJCAI 2011, 2011
Cost-optimal Strong Planning in Non-deterministic Domains.
Proceedings of the ICINCO 2011 - Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Noordwijkerhout, The Netherlands, 28, 2011
Supporting Visual Information Extraction from Geospatial Data.
Proceedings of the 17th International Conference on Distributed Multimedia Systems, 2011
2010
Proceedings of the Sixth International Conference on Autonomic and Autonomous Systems, 2010
Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010
2009
Proceedings of the Fuzzy Logic and Applications, 8th International Workshop, 2009
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009
2008
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008
OBDD Compression of Numerical Controllers.
Proceedings of the ICINCO 2008, 2008
Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008
2007
A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers.
Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007
2006
Automatic generation of optimal controllers through model checking techniques.
Proceedings of the ICINCO 2006, 2006
2005
Proceedings of the 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), 2005