您的位置：首页 >
天辅逻辑论坛（Tianfu Logic）
- [2018-12-10]慕尼黑大学Rush Stewart 博士概率化观念聚合系列报告
- [2018-07-05]《可计算性逻辑》结课报道
- [2018-07-02]加拿大阿尔伯塔大学犹嘉槐教授报告：混合MKNF的三值语义
- [2018-07-02]香港科技大学林方真教授报告：AI中的知识表示与推理
- [2018-05-28][Short Courses]可计算性逻辑短期课程安排
- [2018-05-09][Short Courses]Reasoning about time and coalitional ability
- [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-06-03] Thomas Ågotnes 教授 "合作推理"报告简述
- [2017-05-27]Jeremy Seligman 教授“社会网络中的知识”报告简述
- [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)