


Остановите войну!
for scientists:


default search action
Daniele 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
- 2023
- [c62]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 - [c61]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 - [c60]Natraj Raman, Daniele Magazzeni, Sameena Shah:
Bayesian Hierarchical Models for Counterfactual Estimation. AISTATS 2023: 1115-1128 - [c59]Faisal Hamman, Erfaun Noorani, Saumitra Mishra, Daniele Magazzeni, Sanghamitra Dutta:
Robust Counterfactual Explanations for Neural Networks With Probabilistic Guarantees. ICML 2023: 12351-12367 - [c58]Dan Ley, Saumitra Mishra, Daniele Magazzeni:
GLOBE-CE: A Translation Based Approach for Global Counterfactual Explanations. ICML 2023: 19315-19342 - [c57]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 - [i34]Natraj Raman, Daniele Magazzeni, Sameena Shah:
Bayesian Hierarchical Models for Counterfactual Estimation. CoRR abs/2301.08833 (2023) - [i33]Faisal Hamman, Erfaun Noorani, Saumitra Mishra, Daniele Magazzeni, Sanghamitra Dutta:
Robust Counterfactual Explanations for Neural Networks With Probabilistic Guarantees. CoRR abs/2305.11997 (2023) - [i32]Dan Ley, Saumitra Mishra, Daniele Magazzeni:
GLOBE-CE: A Translation-Based Approach for Global Counterfactual Explanations. CoRR abs/2305.17021 (2023) - [i31]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) - [i30]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) - [i29]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) - 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 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 - [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). Reasoning Web 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]