Haiyan Zhou: Logic in the community [2016-06-22]
西溪逻辑论坛第37期 (本活动受中央高校基本科研业务费专项资金资助) 主题:Logic in the community 报告人:周海燕 时间:2016年06月22日 13:30-15:00 地点:浙大西溪校区主楼259会议室 摘要:报告人将向大家介绍 Logic in the Community 的几篇论文。
Continue reading →西溪逻辑论坛第37期 (本活动受中央高校基本科研业务费专项资金资助) 主题:Logic in the community 报告人:周海燕 时间:2016年06月22日 13:30-15:00 地点:浙大西溪校区主楼259会议室 摘要:报告人将向大家介绍 Logic in the Community 的几篇论文。
Continue reading →西溪逻辑论坛第36期 (本活动受中央高校基本科研业务费专项资金资助) 主题:Logic of awareness 报告人:何键枫 时间:2016年06月15日 13:30-15:00 地点:浙大西溪校区主楼259会议室 摘要:报告人将向大家介绍Fagin & Halpern关于觉知逻辑的经典文献内容。
Continue reading →西溪逻辑论坛第35期 (本活动受中央高校基本科研业务费专项资金资助) 主题:Boyond knowing that 报告人:陈振宁 时间:2016年06月01日 13:30-15:00 地点:浙大西溪校区主楼259会议室 摘要:报告人将向大家介绍最近几年来认知逻辑领域关于“知道是否”、“知道什么”、“知道如何”等问题的由来、概况和已有解决方案。
Continue reading →