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-2022-KCL-1
Themes: AI Provenance, Argumentation, Verification
Supervisor: Prof Elena Simperl
Knowledge graphs and knowledge bases are forms of symbolic knowledge representations used across AI applications. Both refer to a set of technologies that organise data for easier access, capture information about people,...
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-15
Themes: AI Planning, Verification
Supervisor: Kevin Lano
Machine learning (ML) approaches such as encoder-decoder networks and LSTM have been successfully used for numerous tasks involving translation or prediction of information (Otter et al, 2020). However, the knowledge...
Read more
Project ID: STAI-CDT-2021-IC-4
Themes: Verification
Supervisor: Wayne Luk
Agent-based models (ABMs) are powerful methods to describe the spread of epidemics. An ABM treats each susceptible individual as an agent in a simulated world. The simulation algorithm of the model tracks the health status...
Read more
Project ID: STAI-CDT-2021-IC-6
Themes: Logic, Verification
Supervisor: Alessio Lomuscio
The effective development and deployment of single-robot systems is known to be increasingly problematic in a variety of application domains including search and rescue, remote exploration, de-mining, etc. These and other...
Read more
Project ID: STAI-CDT-2021-IC-7
Themes: Logic, Verification
Supervisor: Alessio Lomuscio
State-of-the-art present perception systems, including those based on Lidar or cameras, are increasingly being used in a range of critical applications including security and autonomous vehicles. While the present deep...
Read more
Project ID: STAI-CDT-2021-IC-8
Themes: AI Planning, Logic, Verification
Supervisor: Alessio Lomuscio, David Angeli
In autonomous and multi-agent systems players are normally assumed rational and cooperating or competing in groups to achieve their overall objectives. Useful methods to study the resulting interactions come from game...
Read more
