西溪逻辑论坛第75期 Speaker: Thomas Bolander (Technical University of Denmark) Date & Time: 1 December 2017 (Friday), 14:30 – 17:30 Place: Room 259, Main Teaching Building, Zhejiang University Title: Epistemic Planning With Implicit Coordination Abstract: Automated planning is a branch of artificial intelligence concerned … Continue reading →
西溪逻辑论坛第73期 Date & Time: 18 October 2017 (Wednesday), 18:30 – 20:30 Place: Seminar room #377, Main teaching building, Xixi campus, Zhejiang University
Continue reading →董氏文史哲青年学术沙龙、西溪逻辑论坛第74期 Speaker: Prof. Matthias Schirn (Munich Center for Mathematical Philosophy, University of Munich) Date & Time: 19 October 2017 (Thursday), 18:30 – 20:30 Place: Room 259, Main Teaching Building, Zhejiang University Title: Second-Order Abstraction Before And After Russell’s Paradox Abstract: … Continue reading →
