学者知网节

【姓名】	苏开乐
【职称】
【研究领域】	数学;自动化技术;
【研究方向】
【发表文献关键词】	认识进程,R-重构,合理事实反驳,开放逻辑,事实反驳,假设,结构链,可信序,极限,缺省逻辑,正规缺省,信念逻辑,断言,模态词,缺省理论,理想事实反驳,中子,下极限,最大前节重构,假说,句子,可数模型,...
【工作单位】	南京大学
【曾工作单位】	南京大学;
【所在地域】	南京

中国期刊全文数据库 共找到10篇

[1]苏开乐,丁德成.关于断言的缺省逻辑[J]中国科学(A辑数学物理学天文学技术科学).1994,(06)

[2]苏开乐，丁德成，孙智伟，钱磊.开放逻辑中的合理事实反驳模型类[J]计算机学报.1994,(05)

[3]苏开乐.开放逻辑中的R-重构[J]科学通报.1994,(05)

[4]苏开乐,丁德成.关于事实反驳与一般假说的开放逻辑[J]科学通报.1994,(16)

[5]苏开乐.开放逻辑沿中子结构链的认识进程[J]南京大学学报(自然科学版).1994,(01)

[6]苏开乐,丁德成.Default Logic About Assertions[J]Science in China,Ser.A.1994,(11)

[7]苏开乐.Levesque的信念逻辑中模态词O的若干语义特征[J]科学通报.1995,(08)

[8]苏开乐.R-reconstruction in open logic[J]Chinese Science Bulletin.1995,(05)

[9]苏开乐;丁德成;.开放逻辑中的R-重构不多于n的充分必要条件[J]模式识别与人工智能.1995,(S1)

今年新增/文献篇数	核心期刊论文数	基金论文数	第一作者篇数	总被引频次	总下载频次
0/10	6	5	10	16	338