Teaching Inf2D: Reasoning and Agents 2022/2023 Case Studies in AI Ethics (CSAI) 2022/2023 Case Studies in AI Ethics (CSAI) 2021/2022 Automated Reasoning (AR) 2020/2021