The first (online) workshop of our project on "Logical Normativity and Logical Reasoning in AI Systems" is coming up. We are very happy that Sarit Kraus and Mark Jago will be our first speakers. Here's the program (times are given in CET): 2 November 2020 10:00-10:05 Opening Remarks 10:05-11:20 Sarit Kraus (computer science, Bar-Ilan)"Formal Models … Continue reading Workshop “Logical Normativity and Logical Reasoning in AI Systems”
Workshop “Logical Normativity and Logical Reasoning in AI Systems”
