张明义(贵州大学教授)

张明义(贵州大学教授)

张明义(1943年12月-),男,汉族,中共党员,贵州省安顺市人,贵州大学教授、博士生导师,曾任计算机软件与理论博士点指导小组副组长,兼任贵州科学院研究员。研究方向涵盖人工智能与非单调推理,专注缺省逻辑与信念修正领域研究 。

1992年起主持国家863计划智能计算机主题项目3项。1998年受聘贵州大学兼职教授,2001年参与申报并获批贵州大学首批计算机软件与理论博士点 。主持国家自然科学基金重大计划项目 。在《Information and Computation》《中国科学》等刊物发表论文近60篇,其中22篇被SCI、EI收录 。获国家教委科技进步奖,2014年获库尔特·哥德尔学会终生成就奖。1989年获“国家中青年有突出贡献专家”称号,1991年获首批国务院特殊津贴 。

想要了解更多“张明义(贵州大学教授)”的信息,请点击:张明义(贵州大学教授)百科