4月16日沈榆平讲座:Canonical Logic Programs are Succinctly Incomparable with Proposition Formulas
来源:会议讲座
作者:
时间:2014-04-15
国产91麻豆一区二区久久久
讲座人:沈榆平 博士讲座题目:Canonical Logic Programs are Succinctly Incomparable with Proposition Formulas
讲座时间地点:4月16日(周叁),下午两点,哲学系叠114
(讲座摘要及论文请参考附件)
讲座人介绍:沈榆平,1980年12月出生,籍贯广东省梅州市,中山大学哲学系与法国马赛二大计算机系联合培养博士生专业方向:数理逻辑及应用 ,研究兴趣:知识表示与推理,非单调逻辑, 逻辑程序,计算复杂性。
20140415181749_1.pdf
20140415181758_2.pdf