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 … Continue reading Workshop “Logical Normativity and Logical Reasoning in AI Systems”

New Research Project: Logical normativity and logical reasoning in AI systems

Natasha Alechina, Colin Caret, and yours truly recently initiated a collaborative research project on logical normativity and logical reasoning in (logic-based) AI systems. We’re happy to have received a small grant of the focus area “Human-centered Artificial Intelligence (HAI)” here at Utrecht University, which we initially planned to use for a kick-off workshop in Utrecht. … Continue reading New Research Project: Logical normativity and logical reasoning in AI systems