King's College London

Research portal

Research Outputs

  1. 2020
  2. Explainable Security

    Viganò, L. & Magazzeni, D., 21 Apr 2020, Proceedings of the 6th Workshop on Hot Issues in Security Principles and Trust (HotSpot 2020). 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  3. 2019
  4. Robustness Envelopes for Temporal Plans

    Magazzeni, D., Cashmore, M., Cimatti, A., Micheli, A. & Zehtabi, P., 17 Jul 2019, Proceedings of AAAI Conference on Artificial Intelligence (AAAI 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  5. Replanning for Situated Robots

    Cashmore, M., Coles, A. I., Cserna, B., Karpas, E., Magazzeni, D. & Ruml, W., 11 Jul 2019, Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press, 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  6. An Introduction to the Planning Domain Definition Language

    Haslum, P., Lipovetzky, N., Magazzeni, D. & Muise, C., 1 Jan 2019, Synthesis Lectures on Artificial Intelligence and Machine Learning: Lecture #40. 2 ed. Morgan and Claypool Publishers, p. 1-169 169 p. (Synthesis Lectures on Artificial Intelligence and Machine Learning; vol. 13, no. 2).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. Explainable AI Planning (XAIP): Overview and the Case of Contrastive Explanation (Extended Abstract)

    Hoffmann, J. & Magazzeni, D., 1 Jan 2019, Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School 2019, Tutorial Lectures. Krötzsch, M. & Stepanova, D. (eds.). SPRINGER, p. 277-282 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11810 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  8. Probabilistic Planning for Robotics with ROSPlan

    Canal, G., Cashmore, M., Krivić, S., Alenyà, G., Magazzeni, D. & Torras, C., 2019, Towards Autonomous Robotic Systems - 20th Annual Conference, TAROS 2019, Proceedings. Althoefer, K., Konstantinova, J. & Zhang, K. (eds.). Springer Verlag, p. 236-250 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11649 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  9. 2018
  10. Temporal Planning While the Clock Ticks

    Cashmore, M., Coles, A., Cserna, B., Karpas, E., Magazzeni, D. & Ruml, W., 24 Jun 2018, Proceedings of the 28th International Conference on Automated Planning and Scheduling. AAAI Press

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  11. Situated Planning for Execution Under Temporal Constraints

    Cashmore, M., Coles, A. I., Cserna, B., Karpas, E., Magazzeni, D. & Ruml, W., 26 Mar 2018, Proceedings of the AAAI 2018 Spring Symposium on Integrating Representation, Reasoning, Learning, and Execution for Goal Directed Autonomy.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  12. On-the-fly detection of novel objects in indoor environments

    Langer, E., Ridder, B., Cashmore, M., Magazzeni, D., Zillich, M. & Vincze, M., 23 Mar 2018, 2017 IEEE International Conference on Robotics and Biomimetics, ROBIO 2017. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-January. p. 1-8 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  13. 2017
  14. PDDL+ Planning with temporal pattern databases

    Piotrowski, W., Fox, M., Long, D., Magazzeni, D. & Mercorio, F., 1 Jan 2017, WS-17-01: Artificial Intelligence and Operations Research for Social Good; WS-17-02: Artificial Intelligence, Ethics, and Society; WS-17-03: Artificial Intelligence for Connected and Automated Vehicles; WS-17-04: Artificial Intelligence for Cyber Security; WS-17-05: Artificial Intelligence for Smart Grids and Buildings; WS-17-06: Computer Poker and Imperfect Information Games; WS-17-07: Crowdsourcing, Deep Learning and Artificial Intelligence Agents; WS-17-08: Distributed Machine Learning; WS-17-09: Joint Workshop on Health Intelligence; WS-17-10: Human-Aware Artificial Intelligence; WS-17-11: Human-Machine Collaborative Learning; WS-17-12: Knowledge-Based Techniques for Problem Solving and Reasoning; WS-17-13: Plan, Activity, and Intent Recognition; WS-17-14: Symbolic Inference and Optimization; WS-17-15: What's Next for AI in Games?. AI Access Foundation, p. 930-936 7 p. (AAAI Workshop - Technical Report; vol. WS-17-01 - WS-17-15).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  15. Decreasing Uncertainty in Planning with State Prediction

    Krivic, S., Cashmore, M., Magazzeni, D., Ridder, B. C., Szedmak, S. & Piater, J., 2017, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI-17. p. 2032-2038

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  16. Explainable Planning

    Fox, M., Long, D. & Magazzeni, D., 2017, Proceedings of IJCAI-17 Workshop on Explainable Planning.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  17. Landmarks for Numeric Planning Problems

    Scala, E., Haslum, P., Magazzeni, D. & Thiebaux, S., 2017, Artificial Intelligence Journal Division of IJCAI. Elsevier, 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  18. Short-Term Human Robot Interaction through Conditional Planning and Execution

    Sanelli, V., Cashmore, M., Iocchi, L. & Magazzeni, D., 2017, Proceedings of the 27th International Conference on Automated Planning and Scheduling, ICAPS 2017. AAAI Press, p. 540-548

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  19. 2016
  20. A Compilation of the Full PDDL+ Language into SMT

    Cashmore, M., Fox, M., Long, D. & Magazzeni, D., 12 Jun 2016, Twenty-Sixth International Conference on Automated Planning and Scheduling. p. 79-87

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  21. Solving Realistic Unit Commitment Problems Using Temporal Planning: Challenges and Solutions

    Piacentini, C., Magazzeni, D., Long, D., Fox, M. & Dent, C., 8 Jun 2016, International Conference on Automated Planning and Scheduling: Novel Applications Track. AAAI Press, p. 421-430

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  22. Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach

    Chrpa, L., De Schutter, B., Magazzeni, D., McCluskey, T. L. & Vallati, M., 2016, Proceedings of Thirtieth AAAI Conference on Artificial Intelligence . AAAI Press, Vol. 2016. p. 3188-3194

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  23. Heuristic planning for PDDL+ domains

    Piotrowski, W., Fox, M., Long, D., Magazzeni, D. & Mercorio, F., 2016, IJCAI International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, Vol. 2016-January. p. 3213-3219 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  24. Heuristic planning for hybrid systems

    Piotrowski, W., Fox, M., Long, D., Magazzeni, D. & Mercorio, F., 2016, 30th AAAI Conference on Artificial Intelligence, AAAI 2016. AAAI Press, p. 4254-4255 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  25. Opportunistic Planning for Increased Plan Utility

    Cashmore, M., Fox, M., Long, D., Ridder, B. C. & Magazzeni, D., 2016, Proceedings of the 4th ICAPS Workshop on Planning and Robotics (PlanRob 2016). 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  26. Planning using actions with control parameters

    Savaş, E., Fox, M., Long, D. & Magazzeni, D., 2016, Frontiers in Artificial Intelligence and Applications. IOS Press, Vol. 285. p. 1185-1193 9 p. (Frontiers in Artificial Intelligence and Applications; vol. 285).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  27. Strategic Planning for Autonomous Systems over Long Horizons

    Cashmore, M., Fox, M., Long, D., Ridder, B. C. & Magazzeni, D., 2016, Proceedings of the 4th ICAPS Workshop on Planning and Robotics (PlanRob 2016). 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  28. 2015
  29. Automated Planning and Model Checking (Dagstuhl Seminar 14482)

    Cimatti, A., Edelkamp, S., Fox, M., Magazzeni, D. & Plaku, E., 1 Nov 2015, Dagstuhl Reports. 11 ed. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 4.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  30. Artificial Intelligence Planning for AUV Mission Control

    Cashmore, M., Fox, M., Long, D., Magazzeni, D. & Ridder, B., 2 Sep 2015, IFAC Proceedings Volumes (IFAC-PapersOnline). 2 ed. IFAC Secretariat, Vol. 48. p. 262-267 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  31. Automated planning for urban traffic control: Strategic vehicle routing to respect air quality limitations

    Chrpa, L., Magazzeni, D., McCabe, K., McCluskey, T. L. & Vallati, M., 2015, CEUR Workshop Proceedings. CEUR-WS, Vol. 1493. p. 65-79 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  32. Dynamically Extending Planning Models using an Ontology

    Cashmore, M., Fox, M., Long, D., Magazzeni, D., Ridder, B. C. & Maurelli, F., 2015, Proceedings of the 2nd ICAPS Workshop on Planning and Robotics (PlanRob-15). p. 79-85

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  33. On AUV actions to correctly label world information

    Maurelli, F., Saigol, Z., Lane, D., Cashmore, M., Ridder, B. & Magazzeni, D., 2015, Oceans - St. John's, 2014. IEEE, 6 p. 7003104

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  34. PDDL+ planning with hybrid automata: Foundations of translating must behavior

    Bogomolov, S., Magazzeni, D., Minopoli, S. & Wehrle, M., 2015, Proceedings International Conference on Automated Planning and Scheduling, ICAPS. AAAI Press, Vol. 2015-January. p. 42-46 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  35. Rosplan: Planning in the robot operating system

    Cashmore, M., Fox, M., Long, D., Magazzeni, D., Ridder, B., Carrera, A., Palomeras, N., Hurtós, N. & Carreras, M., 2015, Proceedings International Conference on Automated Planning and Scheduling, ICAPS. AAAI Press, Vol. 2015-January. p. 333-341 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  36. Science forum: RIPOSTE: a framework for improving the design and analysis of laboratory-based research.

    Masca, N. G. D., Hensor, E. M. A., Cornelius, V. R., Buffa, F. M., Marriott, H. M., Eales, J. M., Messenger, M. P., Anderson, A. E., Boot, C., Bunce, C., Goldin, R. D., Harris, J., Hinchliffe, R. F., Junaid, H., Kingston, S., Martin-Ruiz, C., Nelson, C. P., Peacock, J., Seed, P. T., Shinkins, B. & 4 others, Staples, K. J., Toombs, J., Wright, A. K. A. & Teare, M. D., 2015, eLife. p. e05519 (eLife; vol. 4).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  37. 2014
  38. AUV Mission Control via Temporal Planning

    Cashmore, M., Fox, M., Larkworthy, T., Long, D. & Magazzeni, D., 2014, Proceedings of IEEE International Conference on Robotics and Automation (ICRA 2014).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  39. Planning as Model Checking in Hybrid Domains

    Bogomolov, S., Magazzeni, D., Podelski, A. & Wehrle, M., 2014, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI-14).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  40. 2013
  41. Challenge: Modelling Unit Commitment as a Planning Problem

    Campion, J., Dent, C., Fox, M., Long, D. & Magazzeni, D., Aug 2013, Proceedings of the Twenty Third International Conference on Automated Planning and Scheduling (ICAPS 2013). Borrajo, D., Kambhampati, S., Oddi, A. & Fratini, S. (eds.). N/A ed. N/A: AAAI Press, Vol. N/A. p. 452-456 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  42. Planning Inspection Tasks for AUVs

    Cashmore, M., Fox, M., Larkworthy, T., Long, D. & Magazzeni, D., 2013, Proceedings of OCEANS'13 MTS/IEEE.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  43. 2012
  44. Plan-Based Policy-Learning for Autonomous Feature Tracking

    Fox, M., Long, D. & Magazzeni, D., 2012, ICAPS 2012. p. 38-46 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  45. 2011
  46. Automatic Construction of Efficient Multiple Battery Usage Policies

    Fox, M., Long, D. & Magazzeni, D., 2011, Proceedings of the 21st International Conference on Automated Planning and Scheduling (ICAPS-11). Unknown Publisher, p. 74 - 81 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  47. Automatic Construction of Efficient Multiple Battery Usage Policies

    Fox, M., Long, D. & Magazzeni, D., 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-11).. Unknown Publisher, p. 2620 - 2625 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  48. Cost-Optimal Strong Planning in Non-Deterministic Domains

    Della Penna, G., Intrigila, B., Magazzeni, D., Mercorio, F. & Tronci, E., 2011, Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics (ICINCO-11). Unknown Publisher, Vol. 1. p. 60 - 68 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  49. 2010
  50. A PDDL+ Benchmark Problem: The Batch Chemical Plant

    Della Penna, G., Intrigila, B., Magazzeni, D. & Mercorio, F., 2010, Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS-10). Unknown Publisher, p. 222 - 225 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  51. Oxidative Stress and redox signalling in cardiac remodelling

    Zhang, M., Sirker, A. & Shah, A., 2010, Oxidative Stress in Applied Basic Research and Clinical Practice: Studies on Cardiovascular Disorders. Sauer, H., Shah, AM. & Laurindo, FRM. (eds.). Springer Humana, p. 405 - 424 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  52. Planning for Autonomous Planetary Vehicles

    Della Penna, G., Intrigila, B., Magazzeni, D. & Mercorio, F., 2010, Proceedings of the 6th IEEE International Conference on Autonomic and Autonomous Systems (ICAS-10). Unknown Publisher, p. 131 - 136 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  53. Supporting Visual Information Extraction from Geospatial Data

    Della Penna, G., Magazzeni, D. & Orefice, S., 2010, Proceedings of International Conference on Distributed Multimedia Systems (DMS-11). Unknown Publisher, p. 20 - 28 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  54. 2009
  55. A Graphical Tool to Support Visual Information Extraction

    Della Penna, G., Magazzeni, D. & Orefice, S., 2009, Proceedings of International Workshop on Visual Languages and Computing (VLC-09). Unknown Publisher, p. 329 - 334 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  56. Evaluating Fuzzy Controller Robustness using Model Checking

    Della Penna, G., Intrigila, B. & Magazzeni, D., 2009, Proceedings of the 8th International Workshop on Fuzzy Logic and Applications (WILF-09). Unknown Publisher, Vol. 5571 LNAI. p. 303 - 311 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  57. UPMurphi: a Tool for Universal Planning on PDDL+ Problems

    Della Penna, G., Intrigila, B., Magazzeni, D. & Mercorio, F., 2009, Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS-09). AAAI Press, p. 106 - 113 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  58. 2008
  59. Automatic Generation of Hybrid Fuzzy/Numerical Controllers

    Magazzeni, D., 2008, 2008 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING CONTROL & AUTOMATION, VOLS 1 AND 2. Mohammadian, M. (ed.). NEW YORK: IEEE, p. 946-951 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  60. OBDD compression of numerical controllers

    Della Penna, G., Lauri, N. & Magazzeni, D., 2008, ICINCO 2008: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL ICSO. Filipe, J., Cetto, JA. & Ferrier, JL. (eds.). SETUBAL: INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION, Vol. ICSO. p. 43-50 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  61. Synthesis of Optimal Control Systems: A Comparison Between Model Checking and Dynamic Programming Techniques

    Della Penna, G., Magazzeni, D. & Intrigila, B., 2008, NOVEL ALGORITHMS AND TECHNIQUES IN TELECOMMUNICATIONS, AUTOMATION AND INDUSTRIAL ELECTRONICS. Sobh, T., Elleithy, K., Mahmood, A. & Karim, M. (eds.). DORDRECHT: Springer, p. 54-59 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  62. Verifying Extended Criteria for the Interoperability of Security Devices

    Talamo, M., Arcieri, F., Della Penna, G., Dimitri, A., Intrigila, B. & Magazzeni, D., 2008, ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2008, PT II, PROCEEDINGS. Meersman, R. & Tari, Z. (eds.). PART 2 ed. BERLIN: Springer, Vol. 5332 LNCS. p. 1131-1139 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

Export:RIS BibTex Word PDF - will at most contain 500 items

Refine results Clear filters

Language

Language

Publication year

Publication year

Full text

Full text

Meeting and poster abstracts

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454