Filter

  • Understanding Distribution Shift with Logic-based Reasoning and Verification

    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

  • Dealing with Imperfect Rationality in AI Systems

    Project ID: STAI-CDT-2023-KCL-13
    Themes: Reasoning
    Supervisor: Prof Carmine Ventre

    AI systems often collect their input from humans. For example, parents are asked to input their preferences over primary schools before a centralised algorithm allocates children to schools. Should the AI trust the input...

    Read more

  • Computational Social Choice and Machine Learning for Ethical Decision Making

    Project ID: STAI-CDT-2023-KCL-5
    Themes: AI Planning, Argumentation, Norms, Reasoning
    Supervisor: Dr Maria Polukarov

    The problem of ethical decision making presents a grand challenge for modern AI research. Arguably, the main obstacle to automating ethical decisions is the lack of a formal specification of ground-truth ethical principles,...

    Read more

  • Trusted AI for Safe Stop and Search

    Project ID: STAI-CDT-2022-KCL-9
    Themes: Reasoning, Verification
    Supervisor: Mohammad Mousavi, Rita Borgo

    The main objective of this project is to develop AI techniques to analyse the behaviour recorded in the past Stop and Search (S&S) operations. The AI system will be used to inform future operations, avoid unnecessary...

    Read more

  • Detecting fake news

    Project ID: STAI-CDT-2022-KCL-8
    Themes: Reasoning
    Supervisor: Frederik Mallmann-Trenn

    The rise of fake news and misinformation is a threat to our societies. Even though we are not always able to quantify the effect of misinformation, it is clear that it is polarising the society and often leads to violence...

    Read more