您的位置:首页 >
天辅逻辑论坛(Tianfu Logic)
- [2019-11-11]Yang Liu: Two Tales of Epistemic Models
- [2019-05-06]南京大学张建军教授与南开大学任晓明教授学术报告会暨讨论会
- [2018-12-10]慕尼黑大学Rush Stewart 博士概率化观念聚合系列报告
- [2018-07-05]《可计算性逻辑》结课报道
- [2018-07-02]加拿大阿尔伯塔大学犹嘉槐教授报告:混合MKNF的三值语义
- [2018-07-02]香港科技大学林方真教授报告:AI中的知识表示与推理
- [2018-05-28][Short Courses]可计算性逻辑短期课程安排
- [2018-04-23]亚美尼亚哈恰图良·阿博维扬国立师范大学科学哲学及论证讲座
- [2017-12-06]刘新文:乌龟究竟对阿基里斯说了什么
- [2017-12-05]Torben Braüner: 混合逻辑在认知心理学上的应用
- [2017-12-05]Torben Braüner: 混合逻辑证明论小课程
- [2017-11-03]奥克兰大学刘佳谋博士报告:网络与凝聚力——一个博弈论方法
- [2017-10-09]剑桥大学刘洋研究员报告:主观概率论中的例外之例
- [2017-06-21]西悉尼大学Dongmo Zhang 副教授报告
- [2017-05-27]Patrick Blackburn 教授“批判性思维”报告简述
- [2017-05-16]Patrick Blackburn混合逻辑课程(5月19/26日)
- [2017-05-10]Jeremy Seligman本科生自然演绎课程及安排
- [2017-05-04]5月5日Jeremy Seligman报告: Common Sense Modal Predicate Logic
- [2017-03-30]4月7日 Jeremy Seligman 报告:Social Epistemic Logic (Part 3)
- [2017-03-30]4月2日 Jeremy Seligman 报告: Social Epistemic Logic (Part 2)