Daniele Magazzeni

152 papers A* 41A 5C 3Journal 74Unranked 24

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Beyond Manual Planning: Seating Allocation for Large Organizations. CoRR Anton Ipsen, Michael Cashmore, Kirsty Fielding, Nicolas Marchesotti, Parisa Zehtabi, Daniele Magazzeni, Manuela Veloso
2025	J	`jnl`	Capacity Planning and Scheduling for Jobs with Uncertainty in Resource Usage and Duration. CoRR Sunandita Patra, Mehtab Pathan, Mahmoud Mahfouz, Parisa Zehtabi, Wided Ouaja, Daniele Magazzeni, Manuela Veloso
2024	A*	`conf`	Accelerating Cutting-Plane Algorithms via Reinforcement Learning Surrogates. AAAI Kyle Mana, Fernando Acero, Stephen Mak, Parisa Zehtabi, Michael Cashmore, Daniele Magazzeni, Manuela Veloso
2024	A*	`conf`	Are Logistic Models Really Interpretable? IJCAI Danial Dervovic, Freddy Lécué, Nicolas Marchesotti, Daniele Magazzeni
2024	J	`jnl`	Are Logistic Models Really Interpretable? CoRR Danial Dervovic, Freddy Lécué, Nicolas Marchesotti, Daniele Magazzeni
2024	J	`jnl`	Capacity planning and scheduling for jobs with uncertainty in resource usage and duration. J. Supercomput. Sunandita Patra, Mehtab Pathan, Mahmoud Mahfouz, Parisa Zehtabi, Wided Ouaja, Daniele Magazzeni, Manuela Veloso
2024	A*	`conf`	Counterfactual Metarules for Local and Global Recourse. ICML Tom Bewley, Salim I. Amoukou, Saumitra Mishra, Daniele Magazzeni, Manuela Veloso
2024	J	`jnl`	Counterfactual Metarules for Local and Global Recourse. CoRR Tom Bewley, Salim I. Amoukou, Saumitra Mishra, Daniele Magazzeni, Manuela Veloso
2024	J	`jnl`	Deep Reinforcement Learning and Mean-Variance Strategies for Responsible Portfolio Optimization. CoRR Fernando Acero, Parisa Zehtabi, Nicolas Marchesotti, Michael Cashmore, Daniele Magazzeni, Manuela Veloso
2024	A*	`conf`	Fair Wasserstein Coresets. NeurIPS Zikai Xiong, Niccolò Dalmasso, Shubham Sharma, Freddy Lécué, Daniele Magazzeni, Vamsi K. Potluru, Tucker Balch, Manuela Veloso
2024	—	`conf`	PICE: Polyhedral Complex Informed Counterfactual Explanations. AIES (1) Mattia Jacopo Villani, Emanuele Albini, Shubham Sharma, Saumitra Mishra, Salim Ibrahim Amoukou, Daniele Magazzeni, Manuela Veloso
2024	A*	`conf`	Progressive Inference: Explaining Decoder-Only Sequence Classification Models Using Intermediate Predictions. ICML Sanjay Kariyappa, Freddy Lécué, Saumitra Mishra, Christopher Pond, Daniele Magazzeni, Manuela Veloso
2024	J	`jnl`	Progressive Inference: Explaining Decoder-Only Sequence Classification Models Using Intermediate Predictions. CoRR Sanjay Kariyappa, Freddy Lécué, Saumitra Mishra, Christopher Pond, Daniele Magazzeni, Manuela Veloso
2024	J	`jnl`	REFRESH: Responsible and Efficient Feature Reselection Guided by SHAP Values. CoRR Shubham Sharma, Sanghamitra Dutta, Emanuele Albini, Freddy Lécué, Daniele Magazzeni, Manuela Veloso
2024	J	`jnl`	Robust Algorithmic Recourse Under Model Multiplicity With Probabilistic Guarantees. IEEE J. Sel. Areas Inf. Theory Faisal Hamman, Erfaun Noorani, Saumitra Mishra, Daniele Magazzeni, Sanghamitra Dutta
2024	A*	`conf`	SHAP@k: Efficient and Probably Approximately Correct (PAC) Identification of Top-K Features. AAAI Sanjay Kariyappa, Leonidas Tsepenekas, Freddy Lécué, Daniele Magazzeni
2024	A*	`conf`	Sequential Harmful Shift Detection Without Labels. NeurIPS Salim I. Amoukou, Tom Bewley, Saumitra Mishra, Freddy Lécué, Daniele Magazzeni, Manuela Veloso
2024	J	`jnl`	Sequential Harmful Shift Detection Without Labels. CoRR Salim I. Amoukou, Tom Bewley, Saumitra Mishra, Freddy Lécué, Daniele Magazzeni, Manuela Veloso
2024	A	`conf`	Temporal Fairness in Decision Making Problems. ECAI Manuel R. Torres, Parisa Zehtabi, Michael Cashmore, Daniele Magazzeni, Manuela Veloso
2024	J	`jnl`	Temporal Fairness in Decision Making Problems. CoRR Manuel R. Torres, Parisa Zehtabi, Michael Cashmore, Daniele Magazzeni, Manuela Veloso
2023	A*	`conf`	A Logic-based Explanation Generation Framework for Classical and Hybrid Planning Problems (Extended Abstract). IJCAI Stylianos Loukas Vasileiou, William Yeoh, Son Tran, Ashwin Kumar, Michael Cashmore, Daniele Magazzeni
2023	A	`conf`	Bayesian Hierarchical Models for Counterfactual Estimation. AISTATS Natraj Raman, Daniele Magazzeni, Sameena Shah
2023	J	`jnl`	Bayesian Hierarchical Models for Counterfactual Estimation. CoRR Natraj Raman, Daniele Magazzeni, Sameena Shah
2023	A*	`conf`	Comparing Apples to Oranges: Learning Similarity Functions for Data Produced by Different Distributions. NeurIPS Leonidas Tsepenekas, Ivan Brugere, Freddy Lécué, Daniele Magazzeni
2023	A*	`conf`	GLOBE-CE: A Translation Based Approach for Global Counterfactual Explanations. ICML Dan Ley, Saumitra Mishra, Daniele Magazzeni
2023	J	`jnl`	GLOBE-CE: A Translation-Based Approach for Global Counterfactual Explanations. CoRR Dan Ley, Saumitra Mishra, Daniele Magazzeni
2023	C	`conf`	On the Connection between Game-Theoretic Feature Attributions and Counterfactual Explanations. AIES Emanuele Albini, Shubham Sharma, Saumitra Mishra, Danial Dervovic, Daniele Magazzeni
2023	J	`jnl`	On the Connection between Game-Theoretic Feature Attributions and Counterfactual Explanations. CoRR Emanuele Albini, Shubham Sharma, Saumitra Mishra, Danial Dervovic, Daniele Magazzeni
2023	J	`jnl`	Privacy-Preserving Algorithmic Recourse. CoRR Sikha Pentyala, Shubham Sharma, Sanjay Kariyappa, Freddy Lécué, Daniele Magazzeni
2023	C	`conf`	REFRESH: Responsible and Efficient Feature Reselection guided by SHAP values. AIES Shubham Sharma, Sanghamitra Dutta, Emanuele Albini, Freddy Lécué, Daniele Magazzeni, Manuela Veloso
2023	A*	`conf`	Robust Counterfactual Explanations for Neural Networks With Probabilistic Guarantees. ICML Faisal Hamman, Erfaun Noorani, Saumitra Mishra, Daniele Magazzeni, Sanghamitra Dutta
2023	J	`jnl`	Robust Counterfactual Explanations for Neural Networks With Probabilistic Guarantees. CoRR Faisal Hamman, Erfaun Noorani, Saumitra Mishra, Daniele Magazzeni, Sanghamitra Dutta
2023	J	`jnl`	SHAP@k: Efficient and Probably Approximately Correct (PAC) Identification of Top-k Features. CoRR Sanjay Kariyappa, Leonidas Tsepenekas, Freddy Lécué, Daniele Magazzeni
2023	J	`jnl`	Towards Accelerating Benders Decomposition via Reinforcement Learning Surrogate Models. CoRR Stephen Mak, Kyle Mana, Parisa Zehtabi, Michael Cashmore, Daniele Magazzeni, Manuela Veloso
2022	—	`ed.`	3rd ACM International Conference on AI in Finance, ICAIF 2022, New York, NY, USA, November 2-4, 2022 ICAIF Daniele Magazzeni, Senthil Kumar, Rahul Savani, Renyuan Xu, Carmine Ventre, Blanka Horvath, Ruimeng Hu, Tucker Balch, Francesca Toni
2022	J	`jnl`	A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems. J. Artif. Intell. Res. Stylianos Loukas Vasileiou, William Yeoh, Tran Cao Son, Ashwin Kumar, Michael Cashmore, Daniele Magazzeni
2022	J	`jnl`	Asynchronous Collaborative Learning Across Data Silos. CoRR Tiffany Tuor, Joshua Lockhart, Daniele Magazzeni
2022	—	`conf`	Counterfactual Shapley Additive Explanations. FAccT Emanuele Albini, Jason Long, Danial Dervovic, Daniele Magazzeni
2022	A*	`conf`	Explaining Preference-Driven Schedules: The EXPRES Framework. ICAPS Alberto Pozanco, Francesca Mosca, Parisa Zehtabi, Daniele Magazzeni, Sarit Kraus
2022	J	`jnl`	Explaining Preference-driven Schedules: the EXPRES Framework. CoRR Alberto Pozanco, Francesca Mosca, Parisa Zehtabi, Daniele Magazzeni, Sarit Kraus
2022	J	`jnl`	Feature Importance for Time Series Data: Improving KernelSHAP. CoRR Mattia Jacopo Villani, Joshua Lockhart, Daniele Magazzeni
2022	J	`jnl`	Global Counterfactual Explanations: Investigations, Implementations and Improvements. CoRR Dan Ley, Saumitra Mishra, Daniele Magazzeni
2022	J	`jnl`	Learn to explain yourself, when you can: Equipping Concept Bottleneck Models with the ability to abstain on their concept predictions. CoRR Joshua Lockhart, Daniele Magazzeni, Manuela Veloso
2022	A*	`conf`	Optimal Admission Control for Multiclass Queues with Time-Varying Arrival Rates via State Abstraction. AAAI Marc Rigter, Danial Dervovic, Parisa Hassanzadeh, Jason Long, Parisa Zehtabi, Daniele Magazzeni
2022	J	`jnl`	Optimal Admission Control for Multiclass Queues with Time-Varying Arrival Rates via State Abstraction. CoRR Marc Rigter, Danial Dervovic, Parisa Hassanzadeh, Jason Long, Parisa Zehtabi, Daniele Magazzeni
2022	J	`jnl`	Rethinking Log Odds: Linear Probability Modelling and Expert Advice in Interpretable Machine Learning. CoRR Danial Dervovic, Nicolas Marchesotti, Freddy Lécué, Daniele Magazzeni
2022	A*	`conf`	Robust Counterfactual Explanations for Tree-Based Ensembles. ICML Sanghamitra Dutta, Jason Long, Saumitra Mishra, Cecilia Tilli, Daniele Magazzeni
2022	J	`jnl`	Robust Counterfactual Explanations for Tree-Based Ensembles. CoRR Sanghamitra Dutta, Jason Long, Saumitra Mishra, Cecilia Tilli, Daniele Magazzeni
2022	J	`jnl`	Towards learning to explain with concept bottleneck models: mitigating information leakage. CoRR Joshua Lockhart, Nicolas Marchesotti, Daniele Magazzeni, Manuela Veloso
2021	J	`jnl`	A Survey on the Robustness of Feature Importance and Counterfactual Explanations. CoRR Saumitra Mishra, Sanghamitra Dutta, Jason Long, Daniele Magazzeni
2021	—	`conf`	Asynchronous collaborative learning across data silos. ICAIF Tiffany Tuor, Joshua Lockhart, Daniele Magazzeni
2021	J	`jnl`	Contrastive Explanations of Plans Through Model Restrictions. CoRR Benjamin Krarup, Senka Krivic, Daniele Magazzeni, Derek Long, Michael Cashmore, David E. Smith
2021	J	`jnl`	Contrastive Explanations of Plans through Model Restrictions. J. Artif. Intell. Res. Benjamin Krarup, Senka Krivic, Daniele Magazzeni, Derek Long, Michael Cashmore, David E. Smith
2021	J	`jnl`	Counterfactual Explanations for Arbitrary Regression Models. CoRR Thomas Spooner, Danial Dervovic, Jason Long, Jon Shepard, Jiahao Chen, Daniele Magazzeni
2021	J	`jnl`	Counterfactual Shapley Additive Explanations. CoRR Emanuele Albini, Jason Long, Danial Dervovic, Daniele Magazzeni
2021	C	`conf`	Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans. TIME Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi
2021	A*	`conf`	Explaining Path Plan Optimality: Fast Explanation Methods for Navigation Meshes Using Full and Incremental Inverse Optimization. ICAPS Martim Brandão, Amanda Jane Coles, Daniele Magazzeni
2021	J	`jnl`	Graph Reasoning with Context-Aware Linearization for Interpretable Fact Extraction and Verification. CoRR Neema Kotonya, Thomas Spooner, Daniele Magazzeni, Francesca Toni
2021	J	`jnl`	How Robust are Limit Order Book Representations under Data Perturbation? CoRR Yufei Wu, Mahmoud Mahfouz, Daniele Magazzeni, Manuela Veloso
2021	A*	`conf`	Towards providing explanations for robot motion planning. ICRA Martim Brandão, Gerard Canal, Senka Krivic, Daniele Magazzeni
2020	A*	`conf`	A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning. AAAI Rebecca Eifler, Michael Cashmore, Jörg Hoffmann, Daniele Magazzeni, Marcel Steinmetz
2020	J	`jnl`	Automated Planning for Robotics. Annu. Rev. Control. Robotics Auton. Syst. Erez Karpas, Daniele Magazzeni
2020	—	`conf`	Explainable Security. EuroS&P Workshops Luca Viganò, Daniele Magazzeni
2020	A	`conf`	Intent-driven Strategic Tactical Planning for Autonomous Site Inspection using Cooperative Drones. IROS Dorian Buksz, Anusha Mujumdar, Marin Orlic, Swarup Mohalik, Marios Daoutis, Ramamurthy Badrinath, Daniele Magazzeni, Michael Cashmore, Aneta Vulgarakis Feljan
2020	A*	`conf`	Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking. AAAI Jörg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni
2020	J	`jnl`	Planning for Hybrid Systems via Satisfiability Modulo Theories. J. Artif. Intell. Res. Michael Cashmore, Daniele Magazzeni, Parisa Zehtabi
2020	—	`ed.`	Proceedings of the Italian Workshop on Explainable Artificial Intelligence co-located with 19th International Conference of the Italian Association for Artificial Intelligence, XAI.it@AIxIA 2020, Online Event, November 25-26, 2020. XAI.it@AI*IA Cataldo Musto, Daniele Magazzeni, Salvatore Ruggieri, Giovanni Semeraro
2020	J	`jnl`	Report on the 2019 IJCAI Explainable Artificial Intelligence Workshop. AI Mag. Tim Miller, Rosina Weber, Daniele Magazzeni
2020	J	`jnl`	Robust Plan Execution with Unexpected Observations. CoRR Oscar Lima, Michael Cashmore, Daniele Magazzeni, Andrea Micheli, Rodrigo Ventura
2020	J	`jnl`	Using Machine Learning for Decreasing State Uncertainty in Planning. J. Artif. Intell. Res. Senka Krivic, Michael Cashmore, Daniele Magazzeni, Sándor Szedmák, Justus H. Piater
2019	—	`book`	An Introduction to the Planning Domain Definition Language Patrik Haslum, Nir Lipovetzky, Daniele Magazzeni, Christian Muise
2019	—	`conf`	Explainable AI Planning (XAIP): Overview and the Case of Contrastive Explanation (Extended Abstract). RW Jörg Hoffmann, Daniele Magazzeni
2019	—	`conf`	Probabilistic Planning for Robotics with ROSPlan. TAROS (1) Gerard Canal, Michael Cashmore, Senka Krivic, Guillem Alenyà, Daniele Magazzeni, Carme Torras
2019	A*	`conf`	Replanning for Situated Robots. ICAPS Michael Cashmore, Andrew Coles, Bence Cserna, Erez Karpas, Daniele Magazzeni, Wheeler Ruml
2019	A*	`conf`	Robustness Envelopes for Temporal Plans. AAAI Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi
2019	A*	`conf`	Temporal Planning as Refinement-Based Model Checking. ICAPS Alexander Heinz, Martin Wehrle, Sergiy Bogomolov, Daniele Magazzeni, Marius Greitschus, Andreas Podelski
2019	J	`jnl`	Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans. CoRR Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi
2019	J	`jnl`	Towards Explainable AI Planning as a Service. CoRR Michael Cashmore, Anna Collins, Benjamin Krarup, Senka Krivic, Daniele Magazzeni, David E. Smith
2018	J	`jnl`	Explainable Security. CoRR Luca Viganò, Daniele Magazzeni
2018	J	`jnl`	Integrating Temporal Reasoning and Sampling-Based Motion Planning for Multigoal Problems With Dynamics and Time Windows. IEEE Robotics Autom. Lett. Stefan Edelkamp, Morteza Lahijanian, Daniele Magazzeni, Erion Plaku
2018	J	`jnl`	Opportunistic Planning in Autonomous Underwater Missions. IEEE Trans Autom. Sci. Eng. Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni, Bram Ridder
2018	J	`jnl`	Planning and Operations Research (Dagstuhl Seminar 18071). Dagstuhl Reports J. Christopher Beck, Daniele Magazzeni, Gabriele Röger, Willem-Jan van Hoeve
2018	—	`conf`	Situated Planning for Execution Under Temporal Constraints. AAAI Spring Symposia Michael Cashmore, Andrew Coles, Bence Cserna, Erez Karpas, Daniele Magazzeni, Wheeler Ruml
2018	A	`conf`	Strategic-Tactical Planning for Autonomous Underwater Vehicles over Long Horizons. IROS Dorian Buksz, Michael Cashmore, Benjamin Krarup, Daniele Magazzeni, Bram Ridder
2018	A*	`conf`	Temporal Planning while the Clock Ticks. ICAPS Michael Cashmore, Andrew Coles, Bence Cserna, Erez Karpas, Daniele Magazzeni, Wheeler Ruml
2018	J	`jnl`	Towards Providing Explanations for AI Planner Decisions. CoRR Rita Borgo, Michael Cashmore, Daniele Magazzeni
2018	—	`conf`	User Interfaces and Scheduling and Planning: Workshop Summary and Proposed Challenges. AAAI Spring Symposia Richard G. Freedman, Tathagata Chakraborti, Kartik Talamadupula, Daniele Magazzeni, Jeremy D. Frank
2017	J	`jnl`	A formal framework to represent spatial knowledge. Knowl. Inf. Syst. Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice
2017	J	`jnl`	CASP Solutions for Planning in Hybrid Domains. CoRR Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily Leblanc
2017	J	`jnl`	CASP solutions for planning in hybrid domains. Theory Pract. Log. Program. Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily Leblanc
2017	A*	`conf`	Decreasing Uncertainty in Planning with State Prediction. IJCAI Senka Krivic, Michael Cashmore, Daniele Magazzeni, Bram Ridder, Sándor Szedmák, Justus H. Piater
2017	J	`jnl`	Explainable Planning. CoRR Maria Fox, Derek Long, Daniele Magazzeni
2017	—	`conf`	Initial State Prediction in Planning. AAAI Workshops Senka Krivic, Michael Cashmore, Bram Ridder, Daniele Magazzeni, Sándor Szedmák, Justus H. Piater
2017	A*	`conf`	Landmarks for Numeric Planning Problems. IJCAI Enrico Scala, Patrik Haslum, Daniele Magazzeni, Sylvie Thiébaux
2017	—	`conf`	On-the-fly detection of novel objects in indoor environments. ROBIO Edith Langer, Bram Ridder, Michael Cashmore, Daniele Magazzeni, Michael Zillich, Markus Vincze
2017	—	`conf`	PDDL+ Planning with Temporal Pattern Databases. AAAI Workshops Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio
2017	J	`jnl`	Planning and Robotics (Dagstuhl Seminar 17031). Dagstuhl Reports Malik Ghallab, Nick Hawes, Daniele Magazzeni, Brian C. Williams, Andrea Orlandini
2017	A*	`conf`	Short-Term Human-Robot Interaction through Conditional Planning and Execution. ICAPS Valerio Sanelli, Michael Cashmore, Daniele Magazzeni, Luca Iocchi
2017	J	`jnl`	Validation and Verification of Smart Contracts: A Research Agenda. Computer Daniele Magazzeni, Peter McBurney, William Nash
2016	J	`jnl`	6th Italian Workshop on Planning and Scheduling (IPS 2015). Intelligenza Artificiale Gabriella Cortellessa, Daniele Magazzeni, Marco Maratea, Ivan Serina
2016	—	`conf`	A Compilation of the Full PDDL+ Language into SMT. AAAI Workshop: Planning for Hybrid Systems Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni
2016	A*	`conf`	A Compilation of the Full PDDL+ Language into SMT. ICAPS Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni
2016	J	`jnl`	Automated planning for Urban traffic control: Strategic vehicle routing to respect air quality limitations. Intelligenza Artificiale Lukás Chrpa, Daniele Magazzeni, Keith McCabe, Thomas Leo McCluskey, Mauro Vallati
2016	A*	`conf`	Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach. AAAI Mauro Vallati, Daniele Magazzeni, Bart De Schutter, Lukás Chrpa, Thomas Leo McCluskey
2016	J	`jnl`	Extending visual information extraction to biomedical applications. Comput. Syst. Sci. Eng. Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice
2016	A*	`conf`	Heuristic Planning for Hybrid Systems. AAAI Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio
2016	—	`conf`	Heuristic Planning for PDDL+ Domains. AAAI Workshop: Planning for Hybrid Systems Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio
2016	A*	`conf`	Heuristic Planning for PDDL+ Domains. IJCAI Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio
2016	J	`jnl`	PDDL+ Planning via Constraint Answer Set Programming. CoRR Marcello Balduccini, Daniele Magazzeni, Marco Maratea
2016	A	`conf`	Planning Using Actions with Control Parameters. ECAI Emre Savas, Maria Fox, Derek Long, Daniele Magazzeni
2016	—	`ed.`	Planning for Hybrid Systems, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016. AAAI Workshop: Planning for Hybrid Systems Daniele Magazzeni, Scott Sanner, Sylvie Thiébaux
2016	A*	`ed.`	Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, ICAPS 2016, London, UK, June 12-17, 2016. ICAPS Amanda Jane Coles, Andrew Coles, Stefan Edelkamp, Daniele Magazzeni, Scott Sanner
2016	J	`jnl`	Reports of the 2016 AAAI Workshop Program. AI Mag. Stefano V. Albrecht, Bruno Bouchard, John S. Brownstein, David L. Buckeridge, Cornelia Caragea, Kevin M. Carter, Adnan Darwiche, Blaz Fortuna, Yannick Francillette, Sébastien Gaboury, C. Lee Giles, Marko Grobelnik, Estevam R. Hruschka Jr., Jeffrey O. Kephart, Parisa Kordjamshidi, Viliam Lisý, Daniele Magazzeni, João Marques-Silva, Pierre Marquis, David R. Martinez, Marek P. Michalowski, Arash Shaban-Nejad, Zeinab Noorian, Enrico Pontelli, Alex Rogers, Stephanie Rosenthal, Dan Roth, Arunesh Sinha, William W. Streilein, Sylvie Thiébaux, Tran Cao Son, Byron C. Wallace, Toby Walsh, Michael Witbrock, Jie Zhang
2016	A*	`conf`	Solving Realistic Unit Commitment Problems Using Temporal Planning: Challenges and Solutions. ICAPS Chiara Piacentini, Daniele Magazzeni, Derek Long, Maria Fox, Chris J. Dent
2016	J	`jnl`	Toward persistent autonomous intervention in a subsea panel. Auton. Robots Narcís Palomeras, Arnau Carrera, Natàlia Hurtós, George C. Karras, Charalampos P. Bechlioulis, Michael Cashmore, Daniele Magazzeni, Derek Long, Maria Fox, Kostas J. Kyriakopoulos, Petar Kormushev, Joaquim Salvi, Marc Carreras
2015	J	`jnl`	A Summary of the Twenty-Ninth AAAI Conference on Artificial Intelligence. AI Mag. Robert Morris, Blai Bonet, Marc Cavazza, Marie desJardins, Ariel Felner, Nick Hawes, Brad Knox, Sven Koenig, George Dimitri Konidaris, Jérôme Lang, Carlos Linares López, Daniele Magazzeni, Amy McGovern, Sriraam Natarajan, Nathan R. Sturtevant, Michael Thielscher, William Yeoh, Sebastian Sardiña, Kiri Wagstaff
2015	—	`conf`	Automated Planning for Urban Traffic Control: Strategic Vehicle Routing to Respect Air Quality Limitations. IPS@AI*IA Lukás Chrpa, Daniele Magazzeni, Keith McCabe, Thomas Leo McCluskey, Mauro Vallati
2015	A*	`conf`	PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior. ICAPS Sergiy Bogomolov, Daniele Magazzeni, Stefano Minopoli, Martin Wehrle
2015	—	`ed.`	Proceedings of the 6th Italian Workshop on Planning and Scheduling A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AIIA 2015), Ferrara, Italy, September 22, 2015. IPS@AIIA Gabriella Cortellessa, Daniele Magazzeni, Marco Maratea, Ivan Serina
2015	A*	`conf`	ROSPlan: Planning in the Robot Operating System. ICAPS Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni, Bram Ridder, Arnau Carrera, Narcís Palomeras, Natàlia Hurtós, Marc Carreras
2015	J	`jnl`	Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains. Int. J. Artif. Intell. Tools Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio
2014	A*	`conf`	AUV mission control via temporal planning. ICRA Michael Cashmore, Maria Fox, Tom Larkworthy, Derek Long, Daniele Magazzeni
2014	J	`jnl`	Automated Planning and Model Checking (Dagstuhl Seminar 14482). Dagstuhl Reports Alessandro Cimatti, Stefan Edelkamp, Maria Fox, Daniele Magazzeni, Erion Plaku
2014	J	`jnl`	Automated planning and scheduling. Intelligenza Artificiale Gabriella Cortellessa, Alfonso Emilio Gerevini, Daniele Magazzeni, Ivan Serina
2014	J	`jnl`	Plan-based Policies for Efficient Multiple Battery Load Management. CoRR Maria Fox, Derek Long, Daniele Magazzeni
2014	A*	`conf`	Planning as Model Checking in Hybrid Domains. AAAI Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski, Martin Wehrle
2014	J	`jnl`	Policy learning for autonomous feature tracking. Auton. Robots Daniele Magazzeni, Frédéric Py, Maria Fox, Derek Long, Kanna Rajan
2013	J	`jnl`	A general theory of spatial relations to support a graphical tool for visual information extraction. J. Vis. Lang. Comput. Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice
2013	J	`jnl`	CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems. Eur. J. Control Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci
2013	A*	`conf`	Challenge: Modelling Unit Commitment as a Planning Problem. ICAPS Joshua Campion, Chris J. Dent, Maria Fox, Derek Long, Daniele Magazzeni
2013	J	`jnl`	Sybel: a System Modelling Language Enhancing Automatic Support in the Software Development Process. Int. J. Softw. Eng. Knowl. Eng. Giuseppe Della Penna, Sergio Orefice, Benedetto Intrigila, Daniele Magazzeni, Roberto del Sordo, Giuseppe Cardinale Ciccotti
2012	J	`jnl`	A spatial relation-based framework to perform visual information extraction. Knowl. Inf. Syst. Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice
2012	J	`jnl`	A universal planning system for hybrid domains. Appl. Intell. Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio
2012	A*	`conf`	Plan-Based Policy-Learning for Autonomous Feature Tracking. ICAPS Maria Fox, Derek Long, Daniele Magazzeni
2012	J	`jnl`	Plan-based Policies for Efficient Multiple Battery Load Management. J. Artif. Intell. Res. Maria Fox, Derek Long, Daniele Magazzeni
2011	J	`jnl`	A framework for the automatic synthesis of hybrid fuzzy/numerical controllers. Appl. Soft Comput. Daniele Magazzeni
2011	A*	`conf`	Automatic Construction of Efficient Multiple Battery Usage Policies. ICAPS Maria Fox, Derek Long, Daniele Magazzeni
2011	A*	`conf`	Automatic Construction of Efficient Multiple Battery Usage Policies. IJCAI Maria Fox, Derek Long, Daniele Magazzeni
2011	—	`conf`	Cost-optimal Strong Planning in Non-deterministic Domains. ICINCO (1) Giuseppe Della Penna, Fabio Mercorio, Benedetto Intrigila, Daniele Magazzeni, Enrico Tronci
2011	—	`conf`	Supporting Visual Information Extraction from Geospatial Data. DMS Giuseppe Della Penna, Sergio Orefice, Daniele Magazzeni
2010	A*	`conf`	A PDDL+ Benchmark Problem: The Batch Chemical Plant. ICAPS Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio
2010	—	`conf`	Planning for Autonomous Planetary Vehicles. ICAS Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio
2010	J	`jnl`	Resource-Optimal Planning For An Autonomous Planetary Vehicle CoRR Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio
2010	J	`jnl`	Visual extraction of information from web pages. J. Vis. Lang. Comput. Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice
2009	—	`conf`	Evaluating Fuzzy Controller Robustness Using Model Checking. WILF Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni
2009	A*	`conf`	UPMurphi: A Tool for Universal Planning on PDDL+ Problems. ICAPS Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio, Benedetto Intrigila
2008	—	`conf`	Automatic Generation of Hybrid Fuzzy/Numerical Controllers. CIMCA/IAWTIC/ISE Daniele Magazzeni
2008	—	`conf`	OBDD Compression of Numerical Controllers. ICINCO-ICSO Giuseppe Della Penna, Nadia Lauri, Daniele Magazzeni, Benedetto Intrigila
2008	—	`conf`	Verifying Extended Criteria for the Interoperability of Security Devices. OTM Conferences (2) Maurizio Talamo, Franco Arcieri, Giuseppe Della Penna, Andrea Dimitri, Benedetto Intrigila, Daniele Magazzeni
2007	—	`conf`	A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers. AI*IA Giuseppe Della Penna, Francesca Fallucchi, Benedetto Intrigila, Daniele Magazzeni
2006	—	`conf`	Automatic generation of optimal controllers through model checking techniques. ICINCO-ICSO Giuseppe Della Penna, Daniele Magazzeni, Alberto Tofani, Benedetto Intrigila, Igor Melatti, Enrico Tronci
2005	—	`conf`	A Model Checking Technique for the Verification of Fuzzy Control Systems. CIMCA/IAWTIC Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci