Reasoning and Planning

Projects

Projects per year 2001 2009 2011 2012 2013 2015 2017 2025

• 1 Active
• 54 Finished

Projects per year

Search results

• Finished

  Deployment of Expressive Continuous Numeric Planners in Large Scale Applications

  Coles, A. & Denenberg, E.

  EPSRC Engineering and Physical Sciences Research Council

  1/02/2019 → 31/01/2020

  Project: Research

  • Codes 100%
  • Applications 100%

• ADE: Autonomous Decision Making In Very Long Traverses

  Coles, A. & Coles, A.

  EC European Commission

  1/02/2019 → 31/01/2021

  Project: Research

  • Deadlines 100%
  • Evaluation 44%
  • Planning Process 42%
  • Timeliness 37%
  • Replanning 37%

• KCL Technologies on Board the International Space Station (ISS)

  Magazzeni, D.

  EPSRC Engineering and Physical Sciences Research Council

  1/10/2018 → 30/09/2019

  Project: Research

  • International Space Station 100%
  • Science and Technology 100%
  • Project 100%
  • Space Stations 100%
  • Codes 100%

• Trust in Human-Machine Partnership

  Magazzeni, D., Aplin, T., Luff, P., Parsons, S., Borgo, R., Sklar, E. & Moreau, L.

  EPSRC Engineering and Physical Sciences Research Council

  1/09/2018 → 30/06/2022

  Project: Research

  • User 100%
  • Domains 100%
  • Explainable Artificial Intelligence 85%
  • Artificial Intelligence 85%
  • Decision-Making 85%

• Intelligent Situational Awareness Platform

  Magazzeni, D.

  Innovate UK

  1/05/2018 → 30/04/2019

  Project: Research

  • Situational Awareness 100%
  • Awareness 100%

• LEGALCAUSE - Causal Analysis for Attributing Responsibility in Legal Cases

  Chockler, H. & Keppens, J.

  1/09/2017 → 31/08/2020

  Project: Research

• Personal experience as a recovery resource in psychosis: Narrative Experiences in ONline (Neon) Programme

  Keppens, J. & Thornicroft, G.

  NIHR National Institute For Health & Care Research

  1/04/2017 → 31/03/2022

  Project: Research

• MASTER - Meteological Advanced Services for Traditional Energy and Renewables

  Magazzeni, D.

  1/04/2017 → 31/03/2020

  Project: Research

• CONSULT: Collaborative Mobile Decision Support System for Managing Multiple Morbidities

  Parsons, S., Ashworth, M., Curcin, V., Modgil, S. & Sklar, E.

  EPSRC Engineering and Physical Sciences Research Council

  1/03/2017 → 29/01/2023

  Project: Research

• RESPECT - Responsible technologies for mutually supportive communities

  Modgil, S.

  1/01/2017 → 31/12/2019

  Project: Research

• RaDMap - Rapid Development Of Manufacturing Processes

  Magazzeni, D.

  1/01/2017 → 31/12/2019

  Project: Research

• AI Planning with Continuous Non-Linear Change

  Coles, A.

  EPSRC Engineering and Physical Sciences Research Council

  1/01/2017 → 30/06/2018

  Project: Research

  • Domains 100%
  • Planning Graph 90%
  • Reasoning 90%
  • Forward Search 90%
  • Heuristics 90%

• European Robotic Goal-Oriented autonomous controller : ERGO

  Coles, A., Coles, A. & Long, D.

  EC European Commission

  1/11/2016 → 31/01/2019

  Project: Research

  • Domains 100%
  • Space Mission 82%
  • Deadlines 71%
  • Planning 61%
  • Robotics 61%

• Personal experience as a recovery resource in severe mental illness: Narrative Experience ONline (NEON) Programme.

  Slade, M., Keppens, J., Lawrence, V., McCrone, P. & Thornicroft, G.

  1/02/2016 → 31/01/2021

  Project: Research

• The Tactile Internet (ART)

  Dohler, M., Magazzeni, D. & Nanayakkara, T.

  1/01/2016 → 31/12/2020

  Project: Research

• Mapping Critical Borderlands

  Betz, D., Miles, S., Millington, J., Modgil, S. & Schofield, R.

  1/05/2015 → 30/04/2018

  Project: Research

• Planning an Argument

  Black, E.

  EPSRC Engineering and Physical Sciences Research Council

  1/05/2015 → 30/06/2016

  Project: Research

  • Dialogue 100%
  • Argument 93%
  • Automated Planning 37%
  • Responder 36%
  • Heuristics 31%

• Task and Route-Planning in Dynamic 3D Airspace

  Long, D. & Fox, M.

  1/04/2015 → 30/09/2015

  Project: Research

• Connecting hybrid system planning and model checking

  Magazzeni, D.

  1/02/2015 → 31/01/2016

  Project: Research

• Connecting Hybrid System Planning and Model Checking

  Magazzeni, D.

  1/02/2015 → 31/01/2016

  Project: Research

• VirtCloud

  Modgil, S.

  1/01/2015 → 31/12/2017

  Project: Research

• Correct-by-Construction Models for Decision Making in Autonomous Systems

  Coles, A. & Magazzeni, D.

  1/01/2015 → 31/07/2015

  Project: Research

• Commodity Market Transparency Through Data Exploration

  McBurney, P. & Black, E.

  TSB Technology Strategy Board

  1/06/2014 → 31/12/2015

  Project: Research

• SQUIRREL - Clearing Clutter Bit by Bit

  Fox, M., Magazzeni, D., Althoefer, K., Dai, J. & Long, D.

  EC European Commission

  1/01/2014 → 31/01/2018

  Project: Research

  • Linkage 100%
  • Heuristics 100%
  • System Dynamic 100%
  • Domains 100%
  • Reconfiguration 100%

• Temporal planning for collision and detection avoidance

  Fox, M., Coles, A., Coles, A., Long, D. & Magazzeni, D.

  1/12/2013 → 31/05/2014

  Project: Research

• Narrative Exposure ON-line (NEON): An intervention to support mental health recovery

  Slade, M., Clement, S. & Keppens, J.

  1/11/2013 → 31/10/2014

  Project: Research

• POLARIS

  Coles, A. & Rid, T.

  1/10/2013 → 30/09/2018

  Project: Research

• Scalable automated reasoning: Combining AI planning and optimisation technology

  Coles, A.

  1/10/2013 → 30/09/2018

  Project: Research

• MANON

  Slade, M., Keppens, J. & academic, A.

  1/05/2013 → 30/10/2013

  Project: Research

• Knowledge discovery for a digital forensics investigation ontology

  Overill, R., Keppens, J. & Rid, T.

  1/04/2013 → 31/03/2016

  Project: Research

• Hybrid systems control using automated planning

  Fox, M., Long, D. & Magazzeni, D.

  1/03/2013 → 29/02/2016

  Project: Research

• WeRtheCloud: Community-based cloud computing

  Luck, M., McBurney, P. & Modgil, S.

  1/10/2012 → 30/09/2015

  Project: Research

• Data Mining on Structured Data and XML Information Conjointly

  Rodrigues, O.

  15/03/2012 → 12/05/2012

  Project: Research

• Automated Plan-Based Policy-Learning for Surveillance Problems

  Fox, M., Coles, A. & Long, D.

  EPSRC Engineering and Physical Sciences Research Council

  1/03/2012 → 30/07/2015

  Project: Research

• Sustained Autonomy through Coupled Plan-based Control and World Modelling with Uncertainty

  Long, D. & Fox, M.

  EPSRC Engineering and Physical Sciences Research Council

  1/03/2012 → 1/03/2015

  Project: Research

• PANDORA - Persistent Autonomy through Learning, Adaptation, Observation and Re-planning

  Fox, M. & Long, D.

  EC European Commission

  1/01/2012 → 31/05/2015

  Project: Research

• Automated modelling and reformulation in planning

  Fox, M. & Long, D.

  EPSRC Engineering and Physical Sciences Research Council

  2/11/2011 → 1/12/2012

  Project: Research

• Maximising efficiency of resource usage under uncertainty in AI planning

  Coles, A.

  EPSRC Engineering and Physical Sciences Research Council

  1/11/2011 → 30/04/2013

  Project: Research

  • Utilities 100%
  • Search Space 100%
  • Heuristics 66%
  • Current-State 33%
  • Local Minimum 33%

• PRoViScout - Planetary Robotics Vision Scout

  Long, D.

  EC European Commission

  1/11/2011 → 30/09/2012

  Project: Research

• The autonomic power system

  Fox, M. & Long, D.

  EPSRC Engineering and Physical Sciences Research Council

  1/10/2011 → 31/03/2016

  Project: Research

• Software to apply the Equality Act 2010 to people with mental illness

  Henderson, C., Brohan, E., Jones, A., Keppens, J., Lockwood, G., Slade, M., Thornicroft, G. & Tylee, A.

  Guy's & St Thomas' Charity

  1/04/2011 → 30/06/2014

  Project: Research

• Decision support software to apply the Equality Act 2010 to people with mental illness

  Henderson, C., Brohan, E., Jones, A., Keppens, J., Lockwood, G., Slade, M., Thornicroft, G. & Tylee, A.

  1/03/2011 → 29/02/2012

  Project: Research

• Advanced aspects of digital ecosystems

  Keppens, J.

  1/02/2011 → 28/02/2011

  Project: Research

• New information change techniques inspired by voting methodologies

  Rodrigues, O. & Gabbay, D.

  1/09/2009 → 31/08/2012

  Project: Research

• Integrating logic and network reasoning

  Gabbay, D., Barringer, H. & Modgil, S.

  1/09/2009 → 31/08/2011

  Project: Research

• Development of Bayesian network templates and probabilities for enhanced processing and prosecution of frequent digital crimes

  Overill, R. & Keppens, J.

  ICUK Innovation China UK

  1/07/2009 → 30/06/2010

  Project: Research

• The new logic of decision making

  Rodrigues, O. & Gabbay, D.

  1/03/2009 → 29/02/2012

  Project: Research

• The new logic of decision making

  Rodrigues, O. & Gabbay, D.

  12/01/2009 → 11/01/2012

  Project: Research

• Konwledge Acquisition for Evidential Reasonsing

  Keppens, J.

  1/07/2008 → 30/06/2011

  Project: Research

• Extraction of domain knowledge from case theories, and its application to evidential reasoning

  Keppens, J. & Schafer, B.

  1/05/2008 → 30/04/2011

  Project: Research