Project ID: STAI-CDT-2023-KCL-17
Themes: Logic, Reasoning
Supervisor: Dr Fabio Pierazzi
Data-driven approaches have been proven powerful in a variety of domains, from computer vision to NLP. However, in some domains – such as in attack detection in security – the arms race between...
Read more
Project ID: STAI-CDT-2022-KCL-10
Themes: AI Planning, Logic, Verification
Supervisor: Mohammad Abdulaziz
Constructing a world-model is a fundamental part of model-based AI, e.g. planning. Usually, such a model is constructed by a human modeller and it should capture the modeller’s intuitive understanding of the world dynamics...
Read more
Project ID: STAI-CDT-2022-KCL-3
Themes: Logic, Norms, Verification
Supervisor: Hana Chockler
The goal of this project is to develop a causality-based framework for the analysis of decentralised finance (DeFi), based on the principled approach of actual causality [1] and responsibility [2], the latter pioneered by...
Read more
Project ID: STAI-CDT-2022-IC-3
Themes: Logic, Verification
Supervisor: Francesco Belardinelli
Reinforcement Learning, and its extension Deep Reinforcement Learning (DRL), are Machine Learning (ML) techniques that allow autonomous agents to learn optimal behaviours (called policies) in unknown and complex...
Read more
Project ID: STAI-CDT-2022-IC-4
Themes: Logic, Verification
Supervisor: Francesco Belardinelli
Reinforcement Learning (RL) is a technique widely used to allow agents to learn behaviours based on a reward/punishment mechanism [1]. In combination with methods from deep learning, RL is currently applied in a number of...
Read more
Project ID: STAI-CDT-2022-ICL-1
Themes: Logic, Verification
Supervisor: Prof Nobuko Yoshida
Today, most computer applications are developed as ensembles of concurrent multi-agents (or components), that communicate via message passing across some network. Modern programming languages and toolkits provide...
Read more
Project ID: STAI-CDT-2021-IC-24
Themes: AI Planning, Logic, Verification
Supervisor: Francesco Belardinelli
The growing societal impact of AI-based systems has brought with it a set of risks and concerns [1, 2].Indeed, unintended and harmful behaviours may emerge from the application of machine learning (ML) algorithms, including...
Read more
Project ID: STAI-CDT-2021-IC-23
Themes: AI Planning, Logic, Verification
Supervisor: Francesco Belardinelli
The growing societal impact of AI-based systems has brought with it a set of risks and concerns [1, 2].Indeed, unintended and harmful behaviours may emerge from the application of machine learning (ML) algorithms, including...
Read more
Project ID: STAI-CDT-2021-IC-22
Themes: AI Planning, Logic, Verification
Supervisor: Francesco Belardinelli
The growing societal impact of AI-based systems has brought with it a set of risks and concerns [1, 2].Indeed, unintended and harmful behaviours may emerge from the application of machine learning (ML) algorithms, including...
Read more
Project ID: STAI-CDT-2021-IC-21
Themes: Logic, Verification
Supervisor: Dalal Alrajeh
Recent times have witnessed a flurry of advancements in ML, enabling their widespread application in domains such healthcare, security and autonomous vehicles. However, their deployment has also come at cost, resulting in...
Read more
Project ID: STAI-CDT-2021-IC-20
Themes: AI Planning, Logic, Verification
Supervisor: Dalal Alrajeh
AI Planning is concerned with producing plans that are guaranteed to achieve a robot’s goals, assuming the pre-specified assumptions about the environment in which it operates hold. However, no matter how detailed these...
Read more
Project ID: STAI-CDT-2021-KCL-12
Themes: AI Provenance, Logic
Supervisor: Albert Meroño Peñuela
Ontologies have become fundamental AI artifacts in providing knowledge to intelligent systems. The concepts and relationships formalised in these ontologies are frequently used to semantically annotate data, helping...
Read more
