Workshop “Logical Normativity and Logical Reasoning in AI Systems”

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 of Human Decision-making for Intelligent Systems that Interact Proficiently with Humans”

11:30-12:45 Mark Jago (philosophy, Nottingham)
“The Problem of Rational Knowledge”

13:00-14:00 round table discussion

Registration is free. Please send an email to:

The link to the announcement on the HAI website is here.