您的位置：首页 >
天辅逻辑论坛（Tianfu Logic）
- [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-05Torben Braüner: 混合逻辑在认知心理学上的应用
- [2017-12-05Torben Braüner: 混合逻辑证明论小课程
- [2017-11-03奥克兰大学刘佳谋博士报告：网络与凝聚力——一个博弈论方法
- [2017-10-09剑桥大学刘洋研究员报告：主观概率论中的例外之例
- [2017-06-21西悉尼大学Dongmo Zhang 副教授报告
- [2017-06-03 Thomas Ågotnes 教授 "合作推理"报告简述
- [2017-05-27Jeremy Seligman 教授“社会网络中的知识”报告简述
- [2017-05-27Patrick Blackburn 教授“批判性思维”报告简述
- [2017-05-16Patrick Blackburn混合逻辑课程(5月19/26日)
- [2017-05-10Jeremy Seligman本科生自然演绎课程及安排
- [2017-05-045月5日Jeremy Seligman报告： Common Sense Modal Predicate Logic
- [2017-03-304月7日 Jeremy Seligman 报告：Social Epistemic Logic (Part 3)
- [2017-03-304月2日 Jeremy Seligman 报告： Social Epistemic Logic (Part 2)