Daniele Magazzeni

According to our database1, Daniele Magazzeni authored at least 82 papers between 2005 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Counterfactual Explanations for Arbitrary Regression Models.
CoRR, 2021

Contrastive Explanations of Plans Through Model Restrictions.
CoRR, 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

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, 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...