The “Research on Fundamental Theories and Mehtods for AIs, Robots and Reasoning” (since 2019) is a joint project between the Logic, Cognition and Artificial Intelligence Research Group at Zhejiang University and the Leverhulme Centre for the Future of Intelligence (LCFI) at the University of Cambridge, funded by Zhejiang University’s Program for Strategic Cooperation with World-Class Universities.
The project also includes research collaborations with the University of Luxembourg. Leon van der Torre and Livio Robaldo will visit Cambridge University together with Beishui Liao in July 2019 to set up the collaboration.