Normativity of Logic

Workshop “Logical Normativity and Logical Reasoning in AI Systems”

Posted on 22. October 202022. October 2020 by erikstei

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

Posted on 14. July 20207. September 2020 by erikstei

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

Back in Europe

Posted on 22. August 201822. August 2018 by erikstei

I am back from the US getting settled in Bonn, again. I miss the States, but it is pretty good to be here, too. September will be busy with talks at SIFA 2018 in Novara, at GAP.10 in Cologne, and at the next meeting of our research network on context-sensitivity in Berlin. I am also … Continue reading Back in Europe

Gap.10 Colloquium

Posted on 5. May 201714. December 2017 by erikstei

Filippo Ferrari and I have been thinking a lot about whether and in what sense logic may be normative. We are preparing a joint paper on this and we already presented some of our ideas at a couple of conferences. So I am very happy to report that we were selected to host a colloquium … Continue reading Gap.10 Colloquium