Daniele Magazzeni

Orcid: 0000-0002-1934-3447

Affiliations:
  • King's College London, Department of Informatics


According to our database1, Daniele Magazzeni authored at least 116 papers between 2005 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Robust Algorithmic Recourse Under Model Multiplicity With Probabilistic Guarantees.
IEEE J. Sel. Areas Inf. Theory, 2024

Are Logistic Models Really Interpretable?
CoRR, 2024

Progressive Inference: Explaining Decoder-Only Sequence Classification Models Using Intermediate Predictions.
CoRR, 2024

Counterfactual Metarules for Local and Global Recourse.
CoRR, 2024

Deep Reinforcement Learning and Mean-Variance Strategies for Responsible Portfolio Optimization.
CoRR, 2024

Accelerating Cutting-Plane Algorithms via Reinforcement Learning Surrogates.
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
Privacy-Preserving Algorithmic Recourse.
CoRR, 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

GLOBE-CE: A Translation Based Approach for Global Counterfactual Explanations.
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

Bayesian Hierarchical Models for Counterfactual Estimation.
Proceedings of the International Conference on Artificial Intelligence and Statistics, 2023

REFRESH: Responsible and Efficient Feature Reselection guided by SHAP values.
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

Feature Importance for Time Series Data: Improving KernelSHAP.
CoRR, 2022

Global Counterfactual Explanations: Investigations, Implementations and Improvements.
CoRR, 2022

Robust Counterfactual Explanations for Tree-Based Ensembles.
Proceedings of the International Conference on Machine Learning, 2022

Counterfactual Shapley Additive Explanations.
Proceedings of the FAccT '22: 2022 ACM Conference on Fairness, Accountability, and Transparency, Seoul, Republic of Korea, June 21, 2022

Explaining Preference-Driven Schedules: The EXPRES Framework.
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
Contrastive Explanations of Plans through Model Restrictions.
J. Artif. Intell. Res., 2021

A Survey on the Robustness of Feature Importance and Counterfactual Explanations.
CoRR, 2021

How Robust are Limit Order Book Representations under Data Perturbation?
CoRR, 2021

Graph Reasoning with Context-Aware Linearization for Interpretable Fact Extraction and Verification.
CoRR, 2021

Counterfactual Explanations for Arbitrary Regression Models.
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

Towards providing explanations for robot motion planning.
Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Asynchronous collaborative learning across data silos.
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
Using Machine Learning for Decreasing State Uncertainty in Planning.
J. Artif. Intell. Res., 2020

Planning for Hybrid Systems via Satisfiability Modulo Theories.
J. Artif. Intell. Res., 2020

Robust Plan Execution with Unexpected Observations.
CoRR, 2020

Automated Planning for Robotics.
Annu. Rev. Control. Robotics Auton. Syst., 2020

Report on the 2019 IJCAI Explainable Artificial Intelligence Workshop.
AI Mag., 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

Explainable Security.
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
An Introduction to the Planning Domain Definition Language
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

Towards Explainable AI Planning as a Service.
CoRR, 2019

Probabilistic Planning for Robotics with ROSPlan.
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

Temporal Planning as Refinement-Based Model Checking.
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

Replanning for Situated Robots.
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

Robustness Envelopes for Temporal Plans.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Opportunistic Planning in Autonomous Underwater Missions.
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

Planning and Operations Research (Dagstuhl Seminar 18071).
Dagstuhl Reports, 2018

Towards Providing Explanations for AI Planner Decisions.
CoRR, 2018

Strategic-Tactical Planning for Autonomous Underwater Vehicles over Long Horizons.
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Temporal Planning while the Clock Ticks.
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

Situated Planning for Execution Under Temporal Constraints.
Proceedings of the 2018 AAAI Spring Symposia, 2018

2017
CASP solutions for planning in hybrid domains.
Theory Pract. Log. Program., 2017

A formal framework to represent spatial knowledge.
Knowl. Inf. Syst., 2017

Planning and Robotics (Dagstuhl Seminar 17031).
Dagstuhl Reports, 2017

Explainable Planning.
CoRR, 2017

Validation and Verification of Smart Contracts: A Research Agenda.
Computer, 2017

On-the-fly detection of novel objects in indoor environments.
Proceedings of the 2017 IEEE International Conference on Robotics and Biomimetics, 2017

Landmarks for Numeric Planning Problems.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Decreasing Uncertainty in Planning with State Prediction.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Short-Term Human-Robot Interaction through Conditional Planning and Execution.
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

PDDL+ Planning with Temporal Pattern Databases.
Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

Initial State Prediction in Planning.
Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
6th Italian Workshop on Planning and Scheduling (IPS 2015).
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

PDDL+ Planning via Constraint Answer Set Programming.
CoRR, 2016

Toward persistent autonomous intervention in a subsea panel.
Auton. Robots, 2016

Reports of the 2016 AAAI Workshop Program.
AI Mag., 2016

Planning Using Actions with Control Parameters.
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

Heuristic Planning for PDDL+ Domains.
Proceedings of the Planning for Hybrid Systems, 2016

Heuristic Planning for Hybrid Systems.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

A Compilation of the Full PDDL+ Language into SMT.
Proceedings of the Planning for Hybrid Systems, 2016

2015
Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains.
Int. J. Artif. Intell. Tools, 2015

A Summary of the Twenty-Ninth AAAI Conference on Artificial Intelligence.
AI Mag., 2015

ROSPlan: Planning in the Robot Operating System.
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015

PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior.
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015

2014
Automated planning and scheduling.
Intelligenza Artificiale, 2014

Automated Planning and Model Checking (Dagstuhl Seminar 14482).
Dagstuhl Reports, 2014

Policy learning for autonomous feature tracking.
Auton. Robots, 2014

AUV mission control via temporal planning.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Planning as Model Checking in Hybrid Domains.
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

CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems.
Eur. J. Control, 2013

Challenge: Modelling Unit Commitment as a Planning Problem.
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

2012
A spatial relation-based framework to perform visual information extraction.
Knowl. Inf. Syst., 2012

Plan-based Policies for Efficient Multiple Battery Load Management.
J. Artif. Intell. Res., 2012

A universal planning system for hybrid domains.
Appl. Intell., 2012

Plan-Based Policy-Learning for Autonomous Feature Tracking.
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

2011
A framework for the automatic synthesis of hybrid fuzzy/numerical controllers.
Appl. Soft Comput., 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

Automatic Construction of Efficient Multiple Battery Usage Policies.
Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011

2010
Visual extraction of information from web pages.
J. Vis. Lang. Comput., 2010

Resource-Optimal Planning For An Autonomous Planetary Vehicle
CoRR, 2010

Planning for Autonomous Planetary Vehicles.
Proceedings of the Sixth International Conference on Autonomic and Autonomous Systems, 2010

A PDDL+ Benchmark Problem: The Batch Chemical Plant.
Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010

2009
Evaluating Fuzzy Controller Robustness Using Model Checking.
Proceedings of the Fuzzy Logic and Applications, 8th International Workshop, 2009

UPMurphi: A Tool for Universal Planning on PDDL+ Problems.
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

2008
Verifying Extended Criteria for the Interoperability of Security Devices.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008

OBDD Compression of Numerical Controllers.
Proceedings of the ICINCO 2008, 2008

Automatic Generation of Hybrid Fuzzy/Numerical Controllers.
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
A Model Checking Technique for the Verification of Fuzzy Control Systems.
Proceedings of the 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), 2005


  Loading...