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. 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

  7. 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

  8. 2018
  9. Haptic Information Gain in Remote Soft Tissue Examination Using a Controllable Stiffness Robotic Probe

    Weheliye, A., Sornkarn, N., Dasgupta, P. & Nanayakkara, T., 1 Dec 2018, 2018 IEEE 9th International Conference on Information and Automation for Sustainability, ICIAfS 2018. Institute of Electrical and Electronics Engineers Inc., 8913340

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

  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. Towards safer obstacle avoidance for continuum-style manipulator in dynamic environments

    Rizqi, A., Qi, P., Shiva, A., Shafti, A., Wurdemann, H., Dasgupta, P. & Althoefer, K., 28 Jul 2016, Proceedings of the IEEE RAS and EMBS International Conference on Biomedical Robotics and Biomechatronics. IEEE Computer Society Press, Vol. 2016-July. p. 600-605 6 p. 7523691

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

  21. 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

  22. 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

  23. 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

  24. 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

  25. 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

  26. 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

  27. 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

  28. 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

  29. 2015
  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. 2014
  37. 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

  38. 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

  39. The granular jamming integrated actuator

    Jiang, A., Adejokun, S., Faragasso, A., Althoefer, K., Nanayakkara, T. & Dasgupta, P., 2014, 2014 International Conference on Advanced Robotics and Intelligent Systems, ARIS 2014. IEEE Computer Society Press, p. 12-17 6 p.

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

  40. 2013
  41. A Two Party Haptic Guidance Controller Via a Hard Rein

    Dissanayake Mudiyanselage, A., Penders, J., Dasgupta, P., Althoefer, K. & Nanayakkara, T., 4 Nov 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) . Tokyo, Japan, p. 116 122 p.

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

  42. An optimal state dependent haptic guidance controller via a hard rein

    Ranasinghe, A., Althoefer, K., Nanayakkara, T., Penders, J. & Dasgupta, P., Oct 2013, Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013. IEEE, p. 2322-2327 6 p. 6722150

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

  43. Evaluating manual palpation trajectory patterns in tele-manipulation for soft tissue examination

    Konstantinova, J., Li, M., Aminzadeh, V., Althoefer, K., Nanayakkara, T. & Dasgupta, P., Oct 2013, Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013. IEEE, p. 4190-4195 6 p. 6722467

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

  44. Granular jamming with hydraulic control

    Jiang, A., Aste, T., Dasgupta, P., Althoefer, K. & Nanayakkara, T., 8 Aug 2013, Proceedings of the ASME Design Engineering Technical Conference. American Society of Mechanical Engineers, Vol. 6 A. 7 p. V06AT07A021

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

  45. 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

  46. Granular Jamming Transitions for a Robotic Mechanism

    Jiang, A., Aste, T., Dasgupta, P., Althoefer, K. & Nanayakkara, T., 2013, POWDERS AND GRAINS 2013: Proceedings of the 7th International Conference on Micromechanics of Granular Media. Yu, A., Dong, K., Yang, R. & Luding, S. (eds.). MELVILLE: Amer Inst Physics, p. 385-388 4 p. (AIP Conference Proceedings; vol. 1542).

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

  47. 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

  48. 2012
  49. Design of a Variable Stiffness Flexible Manipulator with Composite Granular Jamming and Membrane Coupling

    Jiang, A., Xynogalas, G., Dasgupta, P., Althoefer, K. & Nanayakkara, T., 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE, p. 2922-2927 6 p.

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

  50. 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

  51. 2011
  52. 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

  53. 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

  54. 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

  55. 2010
  56. 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

  57. Miniaturized Triaxial Optical Fiber Force Sensor for MRI-Guided Minimally Invasive Surgery

    Puangmali, P., Dasgupta, P., Seneviratne, L. D. & Althoefer, K., 2010, Unknown. NEW YORK: IEEE, p. 2592 - 2597 6 p. (2010 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA)).

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

  58. 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

  59. 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

  60. 2009
  61. 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

  62. A Haptic Probe for Soft Tissue Abnormality Identification during Minimally Invasive Surgery

    Liu, H., Elhage, O., Dasgupta, P., Challacombe, B., Murphy, D., Seneviratne, L. & Althoefer, K., 2009, Reconfigurable mechanisms and robots: International conference, 2009. GENOVA: KC Edizioni, p. 436 - 441 6 p. (RECONFIGURABLE MECHANISMS AND ROBOTS).

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

Previous 1 2 Next

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