TimeEdit - Stockholms universitet FILOGX, Logik i datavetenskap och artificiell intelligens 2024-06-02