• Hypothesis Knowledge Graphs

    Project ID: STAI-CDT-2021-KCL-7
    Themes: AI Provenance, Logic, Reasoning
    Supervisor: Albert Meroño Peñuela

    Generating hypotheses is a fundamental step in the scientific method, but also increasingly challenging due to the ever-growing observational data from which hypotheses are derived. Papers are published at an unmanageable...

    Read more

  • Trustworthy AI for DNA Sequencing

    Project ID: STAI-CDT-2021-IC-16
    Themes: Logic, Reasoning
    Supervisor: Thomas Heinis

    DNA sequencing is becoming ever more important for medical applications, be it for predictive medicine or precision/personalised medicine. At the same time, DNA sequencing is starting to use AI to map signals (from the...

    Read more

  • Discrete-continuous hybrid planning for adaptive systems

    Project ID: STAI-CDT-2021-IC-15
    Themes: AI Planning, Reasoning, Verification
    Supervisor: Antonio Filieri

    Adaptive cyber-physical systems rely on the composition and coordinated interaction of different decision-making procedures, each typically realized with specific AI methods. Cyber components capabilities and semantics are...

    Read more