default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDaniele Magazzeni
Person information
- affiliation: King's College London, Department of Informatics
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j30]Faisal Hamman
, Erfaun Noorani, Saumitra Mishra, Daniele Magazzeni, Sanghamitra Dutta:
Robust Algorithmic Recourse Under Model Multiplicity With Probabilistic Guarantees. IEEE J. Sel. Areas Inf. Theory 5: 357-368 (2024)- [j29]Sunandita Patra, Mehtab Pathan, Mahmoud Mahfouz, Parisa Zehtabi, Wided Ouaja, Daniele Magazzeni, Manuela Veloso:
Capacity planning and scheduling for jobs with uncertainty in resource usage and duration. J. Supercomput. 80(15): 22428-22461 (2024) - [c72]Sanjay Kariyappa, Leonidas Tsepenekas, Freddy Lécué, Daniele Magazzeni:
SHAP@k: Efficient and Probably Approximately Correct (PAC) Identification of Top-K Features. AAAI 2024: 13068-13075 - [c71]Kyle Mana, Fernando Acero, Stephen Mak, Parisa Zehtabi, Michael Cashmore, Daniele Magazzeni, Manuela Veloso:
Accelerating Cutting-Plane Algorithms via Reinforcement Learning Surrogates. AAAI 2024: 20786-20793 - [c70]Mattia Jacopo Villani, Emanuele Albini, Shubham Sharma, Saumitra Mishra, Salim Ibrahim Amoukou, Daniele Magazzeni, Manuela Veloso:
PICE: Polyhedral Complex Informed Counterfactual Explanations. AIES (1) 2024: 1502-1513 - [c69]Manuel R. Torres, Parisa Zehtabi, Michael Cashmore, Daniele Magazzeni, Manuela Veloso:
Temporal Fairness in Decision Making Problems. ECAI 2024: 1132-1139 - [c68]Tom Bewley, Salim I. Amoukou, Saumitra Mishra, Daniele Magazzeni, Manuela Veloso:
Counterfactual Metarules for Local and Global Recourse. ICML 2024 - [c67]Sanjay Kariyappa, Freddy Lécué, Saumitra Mishra, Christopher Pond, Daniele Magazzeni, Manuela Veloso:
Progressive Inference: Explaining Decoder-Only Sequence Classification Models Using Intermediate Predictions. ICML 2024 - [c66]Danial Dervovic, Freddy Lécué, Nicolas Marchesotti, Daniele Magazzeni:
Are Logistic Models Really Interpretable? IJCAI 2024: 367-375 - [c65]Salim I. Amoukou, Tom Bewley, Saumitra Mishra, Freddy Lécué, Daniele Magazzeni, Manuela Veloso:
Sequential Harmful Shift Detection Without Labels. NeurIPS 2024 - [c64]Zikai Xiong, Niccolò Dalmasso, Shubham Sharma, Freddy Lécué, Daniele Magazzeni, Vamsi K. Potluru, Tucker Balch, Manuela Veloso:
Fair Wasserstein Coresets. NeurIPS 2024 - [i42]Shubham Sharma, Sanghamitra Dutta, Emanuele Albini, Freddy Lécué, Daniele Magazzeni, Manuela Veloso:
REFRESH: Responsible and Efficient Feature Reselection Guided by SHAP Values. CoRR abs/2403.08880 (2024) - [i41]Fernando Acero, Parisa Zehtabi, Nicolas Marchesotti, Michael Cashmore, Daniele Magazzeni, Manuela Veloso:
Deep Reinforcement Learning and Mean-Variance Strategies for Responsible Portfolio Optimization. CoRR abs/2403.16667 (2024) - [i40]Tom Bewley, Salim I. Amoukou, Saumitra Mishra, Daniele Magazzeni, Manuela Veloso:
Counterfactual Metarules for Local and Global Recourse. CoRR abs/2405.18875 (2024) - [i39]Sanjay Kariyappa, Freddy Lécué, Saumitra Mishra, Christopher Pond, Daniele Magazzeni, Manuela Veloso:
Progressive Inference: Explaining Decoder-Only Sequence Classification Models Using Intermediate Predictions. CoRR abs/2406.02625 (2024) - [i38]Danial Dervovic, Freddy Lécué, Nicolas Marchesotti, Daniele Magazzeni:
Are Logistic Models Really Interpretable? CoRR abs/2406.13427 (2024) - [i37]Manuel R. Torres, Parisa Zehtabi, Michael Cashmore, Daniele Magazzeni, Manuela Veloso:
Temporal Fairness in Decision Making Problems. CoRR abs/2408.13208 (2024) - [i36]Salim I. Amoukou, Tom Bewley, Saumitra Mishra, Freddy Lécué, Daniele Magazzeni, Manuela Veloso:
Sequential Harmful Shift Detection Without Labels. CoRR abs/2412.12910 (2024) - 2023
- [c63]Emanuele Albini, Shubham Sharma, Saumitra Mishra, Danial Dervovic, Daniele Magazzeni:
On the Connection between Game-Theoretic Feature Attributions and Counterfactual Explanations. AIES 2023: 411-431 - [c62]Shubham Sharma, Sanghamitra Dutta, Emanuele Albini, Freddy Lécué, Daniele Magazzeni, Manuela Veloso:
REFRESH: Responsible and Efficient Feature Reselection guided by SHAP values. AIES 2023: 443-453 - [c61]Natraj Raman, Daniele Magazzeni, Sameena Shah:
Bayesian Hierarchical Models for Counterfactual Estimation. AISTATS 2023: 1115-1128 - [c60]Faisal Hamman, Erfaun Noorani, Saumitra Mishra, Daniele Magazzeni, Sanghamitra Dutta:
Robust Counterfactual Explanations for Neural Networks With Probabilistic Guarantees. ICML 2023: 12351-12367 - [c59]Dan Ley, Saumitra Mishra, Daniele Magazzeni:
GLOBE-CE: A Translation Based Approach for Global Counterfactual Explanations. ICML 2023: 19315-19342 - [c58]Stylianos Loukas Vasileiou, William Yeoh, Son Tran, Ashwin Kumar, Michael Cashmore, Daniele Magazzeni:
A Logic-based Explanation Generation Framework for Classical and Hybrid Planning Problems (Extended Abstract). IJCAI 2023: 6985-6989 - [c57]Leonidas Tsepenekas, Ivan Brugere, Freddy Lécué, Daniele Magazzeni:
Comparing Apples to Oranges: Learning Similarity Functions for Data Produced by Different Distributions. NeurIPS 2023 - [i35]Natraj Raman, Daniele Magazzeni, Sameena Shah:
Bayesian Hierarchical Models for Counterfactual Estimation. CoRR abs/2301.08833 (2023) - [i34]Faisal Hamman, Erfaun Noorani, Saumitra Mishra, Daniele Magazzeni, Sanghamitra Dutta:
Robust Counterfactual Explanations for Neural Networks With Probabilistic Guarantees. CoRR abs/2305.11997 (2023) - [i33]Dan Ley, Saumitra Mishra, Daniele Magazzeni:
GLOBE-CE: A Translation-Based Approach for Global Counterfactual Explanations. CoRR abs/2305.17021 (2023) - [i32]Sanjay Kariyappa, Leonidas Tsepenekas, Freddy Lécué, Daniele Magazzeni:
SHAP@k: Efficient and Probably Approximately Correct (PAC) Identification of Top-k Features. CoRR abs/2307.04850 (2023) - [i31]Emanuele Albini, Shubham Sharma, Saumitra Mishra, Danial Dervovic, Daniele Magazzeni:
On the Connection between Game-Theoretic Feature Attributions and Counterfactual Explanations. CoRR abs/2307.06941 (2023) - [i30]Stephen Mak, Kyle Mana, Parisa Zehtabi, Michael Cashmore, Daniele Magazzeni, Manuela Veloso:
Towards Accelerating Benders Decomposition via Reinforcement Learning Surrogate Models. CoRR abs/2307.08816 (2023) - [i29]Sikha Pentyala, Shubham Sharma, Sanjay Kariyappa, Freddy Lécué, Daniele Magazzeni:
Privacy-Preserving Algorithmic Recourse. CoRR abs/2311.14137 (2023) - 2022
- [j28]Stylianos Loukas Vasileiou, William Yeoh, Tran Cao Son, Ashwin Kumar, Michael Cashmore, Daniele Magazzeni:
A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems. J. Artif. Intell. Res. 73: 1473-1534 (2022) - [c56]Marc Rigter, Danial Dervovic, Parisa Hassanzadeh, Jason Long, Parisa Zehtabi, Daniele Magazzeni:
Optimal Admission Control for Multiclass Queues with Time-Varying Arrival Rates via State Abstraction. AAAI 2022: 9918-9925 - [c55]Alberto Pozanco, Francesca Mosca, Parisa Zehtabi, Daniele Magazzeni, Sarit Kraus:
Explaining Preference-Driven Schedules: The EXPRES Framework. ICAPS 2022: 710-718 - [c54]Emanuele Albini, Jason Long, Danial Dervovic, Daniele Magazzeni:
Counterfactual Shapley Additive Explanations. FAccT 2022: 1054-1070 - [c53]Sanghamitra Dutta, Jason Long, Saumitra Mishra, Cecilia Tilli, Daniele Magazzeni:
Robust Counterfactual Explanations for Tree-Based Ensembles. ICML 2022: 5742-5756 - [e5]Daniele Magazzeni, Senthil Kumar, Rahul Savani, Renyuan Xu, Carmine Ventre, Blanka Horvath, Ruimeng Hu, Tucker Balch, Francesca Toni:
3rd ACM International Conference on AI in Finance, ICAIF 2022, New York, NY, USA, November 2-4, 2022. ACM 2022, ISBN 978-1-4503-9376-8 [contents] - [i28]Marc Rigter, Danial Dervovic, Parisa Hassanzadeh, Jason Long, Parisa Zehtabi, Daniele Magazzeni:
Optimal Admission Control for Multiclass Queues with Time-Varying Arrival Rates via State Abstraction. CoRR abs/2203.08019 (2022) - [i27]Alberto Pozanco, Francesca Mosca, Parisa Zehtabi, Daniele Magazzeni, Sarit Kraus:
Explaining Preference-driven Schedules: the EXPRES Framework. CoRR abs/2203.08895 (2022) - [i26]Tiffany Tuor, Joshua Lockhart, Daniele Magazzeni:
Asynchronous Collaborative Learning Across Data Silos. CoRR abs/2203.12637 (2022) - [i25]Dan Ley, Saumitra Mishra, Daniele Magazzeni:
Global Counterfactual Explanations: Investigations, Implementations and Improvements. CoRR abs/2204.06917 (2022) - [i24]Sanghamitra Dutta, Jason Long, Saumitra Mishra, Cecilia Tilli, Daniele Magazzeni:
Robust Counterfactual Explanations for Tree-Based Ensembles. CoRR abs/2207.02739 (2022) - [i23]Mattia Jacopo Villani, Joshua Lockhart, Daniele Magazzeni:
Feature Importance for Time Series Data: Improving KernelSHAP. CoRR abs/2210.02176 (2022) - [i22]Joshua Lockhart, Nicolas Marchesotti, Daniele Magazzeni, Manuela Veloso:
Towards learning to explain with concept bottleneck models: mitigating information leakage. CoRR abs/2211.03656 (2022) - [i21]Danial Dervovic, Nicolas Marchesotti, Freddy Lécué, Daniele Magazzeni:
Rethinking Log Odds: Linear Probability Modelling and Expert Advice in Interpretable Machine Learning. CoRR abs/2211.06360 (2022) - [i20]Joshua Lockhart, Daniele Magazzeni, Manuela Veloso:
Learn to explain yourself, when you can: Equipping Concept Bottleneck Models with the ability to abstain on their concept predictions. CoRR abs/2211.11690 (2022) - 2021
- [j27]Benjamin Krarup, Senka Krivic, Daniele Magazzeni, Derek Long, Michael Cashmore, David E. Smith:
Contrastive Explanations of Plans through Model Restrictions. J. Artif. Intell. Res. 72: 533-612 (2021) - [c52]Martim Brandão, Amanda Jane Coles, Daniele Magazzeni:
Explaining Path Plan Optimality: Fast Explanation Methods for Navigation Meshes Using Full and Incremental Inverse Optimization. ICAPS 2021: 56-64 - [c51]Tiffany Tuor, Joshua Lockhart, Daniele Magazzeni:
Asynchronous collaborative learning across data silos. ICAIF 2021: 29:1-29:8 - [c50]Martim Brandão, Gerard Canal, Senka Krivic, Daniele Magazzeni:
Towards providing explanations for robot motion planning. ICRA 2021: 3927-3933 - [c49]Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi:
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans. TIME 2021: 13:1-13:14 - [i19]Benjamin Krarup, Senka Krivic, Daniele Magazzeni, Derek Long, Michael Cashmore, David E. Smith:
Contrastive Explanations of Plans Through Model Restrictions. CoRR abs/2103.15575 (2021) - [i18]Thomas Spooner, Danial Dervovic, Jason Long, Jon Shepard, Jiahao Chen, Daniele Magazzeni:
Counterfactual Explanations for Arbitrary Regression Models. CoRR abs/2106.15212 (2021) - [i17]Neema Kotonya, Thomas Spooner, Daniele Magazzeni, Francesca Toni:
Graph Reasoning with Context-Aware Linearization for Interpretable Fact Extraction and Verification. CoRR abs/2109.12349 (2021) - [i16]Yufei Wu, Mahmoud Mahfouz, Daniele Magazzeni, Manuela Veloso:
How Robust are Limit Order Book Representations under Data Perturbation? CoRR abs/2110.04752 (2021) - [i15]Emanuele Albini, Jason Long, Danial Dervovic, Daniele Magazzeni:
Counterfactual Shapley Additive Explanations. CoRR abs/2110.14270 (2021) - [i14]Saumitra Mishra, Sanghamitra Dutta, Jason Long, Daniele Magazzeni:
A Survey on the Robustness of Feature Importance and Counterfactual Explanations. CoRR abs/2111.00358 (2021) - 2020
- [j26]Tim Miller, Rosina Weber, Daniele Magazzeni:
Report on the 2019 IJCAI Explainable Artificial Intelligence Workshop. AI Mag. 41(1): 103-105 (2020) - [j25]Erez Karpas, Daniele Magazzeni:
Automated Planning for Robotics. Annu. Rev. Control. Robotics Auton. Syst. 3: 417-439 (2020) - [j24]Michael Cashmore, Daniele Magazzeni, Parisa Zehtabi:
Planning for Hybrid Systems via Satisfiability Modulo Theories. J. Artif. Intell. Res. 67: 235-283 (2020) - [j23]Senka Krivic, Michael Cashmore, Daniele Magazzeni, Sándor Szedmák, Justus H. Piater:
Using Machine Learning for Decreasing State Uncertainty in Planning. J. Artif. Intell. Res. 69: 765-806 (2020) - [c48]Rebecca Eifler, Michael Cashmore, Jörg Hoffmann, Daniele Magazzeni, Marcel Steinmetz:
A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning. AAAI 2020: 9818-9826 - [c47]Jörg Hoffmann, Holger Hermanns, Michaela Klauck, Marcel Steinmetz, Erez Karpas, Daniele Magazzeni:
Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking. AAAI 2020: 13569-13575 - [c46]Luca Viganò, Daniele Magazzeni:
Explainable Security. EuroS&P Workshops 2020: 293-300 - [c45]Dorian Buksz, Anusha Mujumdar, Marin Orlic, Swarup Mohalik, Marios Daoutis, Ramamurthy Badrinath, Daniele Magazzeni, Michael Cashmore, Aneta Vulgarakis Feljan:
Intent-driven Strategic Tactical Planning for Autonomous Site Inspection using Cooperative Drones. IROS 2020: 6733-6740 - [e4]Cataldo Musto, Daniele Magazzeni, Salvatore Ruggieri, Giovanni Semeraro:
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. CEUR Workshop Proceedings 2742, CEUR-WS.org 2020 [contents] - [i13]Oscar Lima, Michael Cashmore, Daniele Magazzeni, Andrea Micheli, Rodrigo Ventura:
Robust Plan Execution with Unexpected Observations. CoRR abs/2003.09401 (2020)
2010 – 2019
- 2019
- [b1]Patrik Haslum, Nir Lipovetzky, Daniele Magazzeni, Christian Muise:
An Introduction to the Planning Domain Definition Language. Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers 2019, ISBN 978-3-031-00456-8 - [c44]Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi:
Robustness Envelopes for Temporal Plans. AAAI 2019: 7538-7545 - [c43]Alexander Heinz, Martin Wehrle, Sergiy Bogomolov, Daniele Magazzeni, Marius Greitschus, Andreas Podelski:
Temporal Planning as Refinement-Based Model Checking. ICAPS 2019: 195-199 - [c42]Michael Cashmore, Andrew Coles, Bence Cserna, Erez Karpas, Daniele Magazzeni, Wheeler Ruml:
Replanning for Situated Robots. ICAPS 2019: 665-673 - [c41]Jörg Hoffmann, Daniele Magazzeni:
Explainable AI Planning (XAIP): Overview and the Case of Contrastive Explanation (Extended Abstract). RW 2019: 277-282 - [c40]Gerard Canal, Michael Cashmore, Senka Krivic, Guillem Alenyà, Daniele Magazzeni, Carme Torras:
Probabilistic Planning for Robotics with ROSPlan. TAROS (1) 2019: 236-250 - [i12]Michael Cashmore, Anna Collins, Benjamin Krarup, Senka Krivic, Daniele Magazzeni, David E. Smith:
Towards Explainable AI Planning as a Service. CoRR abs/1908.05059 (2019) - [i11]Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi:
Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans. CoRR abs/1911.07318 (2019) - 2018
- [j22]Stefan Edelkamp, Morteza Lahijanian, Daniele Magazzeni, Erion Plaku:
Integrating Temporal Reasoning and Sampling-Based Motion Planning for Multigoal Problems With Dynamics and Time Windows. IEEE Robotics Autom. Lett. 3(4): 3473-3480 (2018) - [j21]Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni, Bram Ridder:
Opportunistic Planning in Autonomous Underwater Missions. IEEE Trans Autom. Sci. Eng. 15(2): 519-530 (2018) - [c39]Michael Cashmore, Andrew Coles, Bence Cserna, Erez Karpas, Daniele Magazzeni, Wheeler Ruml:
Situated Planning for Execution Under Temporal Constraints. AAAI Spring Symposia 2018 - [c38]Richard G. Freedman, Tathagata Chakraborti, Kartik Talamadupula, Daniele Magazzeni, Jeremy D. Frank:
User Interfaces and Scheduling and Planning: Workshop Summary and Proposed Challenges. AAAI Spring Symposia 2018 - [c37]Michael Cashmore, Andrew Coles, Bence Cserna, Erez Karpas, Daniele Magazzeni, Wheeler Ruml:
Temporal Planning while the Clock Ticks. ICAPS 2018: 39-46 - [c36]Dorian Buksz, Michael Cashmore, Benjamin Krarup, Daniele Magazzeni, Bram Ridder:
Strategic-Tactical Planning for Autonomous Underwater Vehicles over Long Horizons. IROS 2018: 3565-3572 - [i10]Luca Viganò, Daniele Magazzeni:
Explainable Security. CoRR abs/1807.04178 (2018) - [i9]Rita Borgo, Michael Cashmore, Daniele Magazzeni:
Towards Providing Explanations for AI Planner Decisions. CoRR abs/1810.06338 (2018) - [i8]J. Christopher Beck, Daniele Magazzeni, Gabriele Röger, Willem-Jan van Hoeve:
Planning and Operations Research (Dagstuhl Seminar 18071). Dagstuhl Reports 8(2): 26-63 (2018) - 2017
- [j20]Daniele Magazzeni, Peter McBurney, William Nash:
Validation and Verification of Smart Contracts: A Research Agenda. Computer 50(9): 50-57 (2017) - [j19]Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice:
A formal framework to represent spatial knowledge. Knowl. Inf. Syst. 51(1): 311-338 (2017) - [j18]Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily Leblanc:
CASP solutions for planning in hybrid domains. Theory Pract. Log. Program. 17(4): 591-633 (2017) - [c35]Senka Krivic, Michael Cashmore, Bram Ridder, Daniele Magazzeni, Sándor Szedmák, Justus H. Piater:
Initial State Prediction in Planning. AAAI Workshops 2017 - [c34]Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio:
PDDL+ Planning with Temporal Pattern Databases. AAAI Workshops 2017 - [c33]Valerio Sanelli, Michael Cashmore, Daniele Magazzeni, Luca Iocchi:
Short-Term Human-Robot Interaction through Conditional Planning and Execution. ICAPS 2017: 540-548 - [c32]Senka Krivic, Michael Cashmore, Daniele Magazzeni, Bram Ridder, Sándor Szedmák, Justus H. Piater:
Decreasing Uncertainty in Planning with State Prediction. IJCAI 2017: 2032-2038 - [c31]Enrico Scala, Patrik Haslum, Daniele Magazzeni, Sylvie Thiébaux:
Landmarks for Numeric Planning Problems. IJCAI 2017: 4384-4390 - [c30]Edith Langer, Bram Ridder, Michael Cashmore, Daniele Magazzeni, Michael Zillich, Markus Vincze:
On-the-fly detection of novel objects in indoor environments. ROBIO 2017: 900-907 - [i7]Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily Leblanc:
CASP Solutions for Planning in Hybrid Domains. CoRR abs/1704.03574 (2017) - [i6]Maria Fox, Derek Long, Daniele Magazzeni:
Explainable Planning. CoRR abs/1709.10256 (2017) - [i5]Malik Ghallab, Nick Hawes, Daniele Magazzeni, Brian C. Williams, Andrea Orlandini:
Planning and Robotics (Dagstuhl Seminar 17031). Dagstuhl Reports 7(1): 32-73 (2017) - 2016
- [j17]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:
Reports of the 2016 AAAI Workshop Program. AI Mag. 37(3): 99-108 (2016) - [j16]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:
Toward persistent autonomous intervention in a subsea panel. Auton. Robots 40(7): 1279-1306 (2016) - [j15]Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice:
Extending visual information extraction to biomedical applications. Comput. Syst. Sci. Eng. 31(5) (2016) - [j14]Gabriella Cortellessa, Daniele Magazzeni, Marco Maratea, Ivan Serina:
6th Italian Workshop on Planning and Scheduling (IPS 2015). Intelligenza Artificiale 10(2): 79-80 (2016) - [j13]Lukás Chrpa, Daniele Magazzeni, Keith McCabe, Thomas Leo McCluskey, Mauro Vallati:
Automated planning for Urban traffic control: Strategic vehicle routing to respect air quality limitations. Intelligenza Artificiale 10(2): 113-128 (2016) - [c29]Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni:
A Compilation of the Full PDDL+ Language into SMT. AAAI Workshop: Planning for Hybrid Systems 2016 - [c28]Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio:
Heuristic Planning for PDDL+ Domains. AAAI Workshop: Planning for Hybrid Systems 2016 - [c27]Mauro Vallati, Daniele Magazzeni, Bart De Schutter, Lukás Chrpa, Thomas Leo McCluskey:
Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach. AAAI 2016: 3188-3194 - [c26]Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio:
Heuristic Planning for Hybrid Systems. AAAI 2016: 4254-4255 - [c25]Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni:
A Compilation of the Full PDDL+ Language into SMT. ICAPS 2016: 79-87 - [c24]Chiara Piacentini, Daniele Magazzeni, Derek Long, Maria Fox, Chris J. Dent:
Solving Realistic Unit Commitment Problems Using Temporal Planning: Challenges and Solutions. ICAPS 2016: 421-430 - [c23]Emre Savas, Maria Fox, Derek Long, Daniele Magazzeni:
Planning Using Actions with Control Parameters. ECAI 2016: 1185-1193 - [c22]Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio:
Heuristic Planning for PDDL+ Domains. IJCAI 2016: 3213-3219 - [e3]Daniele Magazzeni, Scott Sanner, Sylvie Thiébaux:
Planning for Hybrid Systems, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016. AAAI Technical Report WS-16-12, AAAI Press 2016 [contents] - [e2]Amanda Jane Coles, Andrew Coles, Stefan Edelkamp, Daniele Magazzeni, Scott Sanner:
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, ICAPS 2016, London, UK, June 12-17, 2016. AAAI Press 2016, ISBN 978-1-57735-757-5 [contents] - [i4]Marcello Balduccini, Daniele Magazzeni, Marco Maratea:
PDDL+ Planning via Constraint Answer Set Programming. CoRR abs/1609.00030 (2016) - 2015
- [j12]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:
A Summary of the Twenty-Ninth AAAI Conference on Artificial Intelligence. AI Mag. 36(3): 99-106 (2015) - [j11]Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio:
Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains. Int. J. Artif. Intell. Tools 24(6): 1550025:1-1550025:45 (2015) - [c21]Lukás Chrpa, Daniele Magazzeni, Keith McCabe, Thomas Leo McCluskey, Mauro Vallati:
Automated Planning for Urban Traffic Control: Strategic Vehicle Routing to Respect Air Quality Limitations. IPS@AI*IA 2015: 65-79 - [c20]Sergiy Bogomolov, Daniele Magazzeni, Stefano Minopoli, Martin Wehrle:
PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior. ICAPS 2015: 42-46 - [c19]Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni, Bram Ridder, Arnau Carrera, Narcís Palomeras, Natàlia Hurtós, Marc Carreras:
ROSPlan: Planning in the Robot Operating System. ICAPS 2015: 333-341 - [e1]Gabriella Cortellessa, Daniele Magazzeni, Marco Maratea, Ivan Serina:
Proceedings of the 6th Italian Workshop on Planning and Scheduling A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), Ferrara, Italy, September 22, 2015. CEUR Workshop Proceedings 1493, CEUR-WS.org 2015 [contents] - 2014
- [j10]Daniele Magazzeni, Frédéric Py, Maria Fox, Derek Long, Kanna Rajan:
Policy learning for autonomous feature tracking. Auton. Robots 37(1): 47-69 (2014) - [j9]Gabriella Cortellessa, Alfonso Emilio Gerevini, Daniele Magazzeni, Ivan Serina:
Automated planning and scheduling. Intelligenza Artificiale 8(1): 55-56 (2014) - [c18]Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski, Martin Wehrle:
Planning as Model Checking in Hybrid Domains. AAAI 2014: 2228-2234 - [c17]Michael Cashmore, Maria Fox, Tom Larkworthy, Derek Long, Daniele Magazzeni:
AUV mission control via temporal planning. ICRA 2014: 6535-6541 - [i3]Maria Fox, Derek Long, Daniele Magazzeni:
Plan-based Policies for Efficient Multiple Battery Load Management. CoRR abs/1401.5859 (2014) - [i2]Alessandro Cimatti, Stefan Edelkamp, Maria Fox, Daniele Magazzeni, Erion Plaku:
Automated Planning and Model Checking (Dagstuhl Seminar 14482). Dagstuhl Reports 4(11): 227-245 (2014) - 2013
- [j8]Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci:
CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems. Eur. J. Control 19(1): 14-36 (2013) - [j7]Giuseppe Della Penna, Sergio Orefice, Benedetto Intrigila, Daniele Magazzeni, Roberto del Sordo, Giuseppe Cardinale Ciccotti:
Sybel: a System Modelling Language Enhancing Automatic Support in the Software Development Process. Int. J. Softw. Eng. Knowl. Eng. 23(2): 223- (2013) - [j6]Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice:
A general theory of spatial relations to support a graphical tool for visual information extraction. J. Vis. Lang. Comput. 24(2): 71-87 (2013) - [c16]Joshua Campion, Chris J. Dent, Maria Fox, Derek Long, Daniele Magazzeni:
Challenge: Modelling Unit Commitment as a Planning Problem. ICAPS 2013 - 2012
- [j5]Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio:
A universal planning system for hybrid domains. Appl. Intell. 36(4): 932-959 (2012) - [j4]Maria Fox, Derek Long, Daniele Magazzeni:
Plan-based Policies for Efficient Multiple Battery Load Management. J. Artif. Intell. Res. 44: 335-382 (2012) - [j3]Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice:
A spatial relation-based framework to perform visual information extraction. Knowl. Inf. Syst. 30(3): 667-692 (2012) - [c15]Maria Fox, Derek Long, Daniele Magazzeni:
Plan-Based Policy-Learning for Autonomous Feature Tracking. ICAPS 2012 - 2011
- [j2]Daniele Magazzeni:
A framework for the automatic synthesis of hybrid fuzzy/numerical controllers. Appl. Soft Comput. 11(1): 276-284 (2011) - [c14]Maria Fox, Derek Long, Daniele Magazzeni:
Automatic Construction of Efficient Multiple Battery Usage Policies. ICAPS 2011 - [c13]Giuseppe Della Penna, Sergio Orefice, Daniele Magazzeni:
Supporting Visual Information Extraction from Geospatial Data. DMS 2011: 301-306 - [c12]Giuseppe Della Penna, Fabio Mercorio, Benedetto Intrigila, Daniele Magazzeni, Enrico Tronci:
Cost-optimal Strong Planning in Non-deterministic Domains. ICINCO (1) 2011: 56-66 - [c11]Maria Fox, Derek Long, Daniele Magazzeni:
Automatic Construction of Efficient Multiple Battery Usage Policies. IJCAI 2011: 2620-2625 - 2010
- [j1]Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice:
Visual extraction of information from web pages. J. Vis. Lang. Comput. 21(1): 23-32 (2010) - [c10]Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio:
A PDDL+ Benchmark Problem: The Batch Chemical Plant. ICAPS 2010: 222-225 - [c9]Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio:
Planning for Autonomous Planetary Vehicles. ICAS 2010: 131-136 - [i1]Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio:
Resource-Optimal Planning For An Autonomous Planetary Vehicle. CoRR abs/1007.5130 (2010)
2000 – 2009
- 2009
- [c8]Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio, Benedetto Intrigila:
UPMurphi: A Tool for Universal Planning on PDDL+ Problems. ICAPS 2009 - [c7]Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni:
Evaluating Fuzzy Controller Robustness Using Model Checking. WILF 2009: 303-311 - 2008
- [c6]Daniele Magazzeni:
Automatic Generation of Hybrid Fuzzy/Numerical Controllers. CIMCA/IAWTIC/ISE 2008: 946-951 - [c5]Giuseppe Della Penna, Nadia Lauri, Daniele Magazzeni, Benedetto Intrigila:
OBDD Compression of Numerical Controllers. ICINCO-ICSO 2008: 43-50 - [c4]Maurizio Talamo, Franco Arcieri, Giuseppe Della Penna, Andrea Dimitri, Benedetto Intrigila, Daniele Magazzeni:
Verifying Extended Criteria for the Interoperability of Security Devices. OTM Conferences (2) 2008: 1131-1139 - 2007
- [c3]Giuseppe Della Penna, Francesca Fallucchi, Benedetto Intrigila, Daniele Magazzeni:
A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers. AI*IA 2007: 230-241 - 2006
- [c2]Giuseppe Della Penna, Daniele Magazzeni, Alberto Tofani, Benedetto Intrigila, Igor Melatti, Enrico Tronci:
Automatic generation of optimal controllers through model checking techniques. ICINCO-ICSO 2006: 26-33 - 2005
- [c1]Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci:
A Model Checking Technique for the Verification of Fuzzy Control Systems. CIMCA/IAWTIC 2005: 536-542
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 22:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
