Stop the war!Остановите войну!
for scientists:
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
- 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]