讲座人：沈榆平 博士

讲座题目：Canonical Logic Programs are Succinctly Incomparable with Proposition Formulas

讲座时间地点：4月16日（周三），下午两点，哲学系B114

（讲座摘要及论文请参考附件）

讲座人简介：沈榆平，1980年12月出生，籍贯广东省梅州市，中山大学哲学系与法国马赛二大计算机系联合培养博士生专业方向：数理逻辑及应用 ，研究兴趣：知识表示与推理，非单调逻辑, 逻辑程序，计算复杂性。