资讯

         

摘要

张明义获维也纳逻辑之夏终生成就奖 日前,第二届维也纳逻辑之夏联合颁奖典礼在维也纳科技大学举行,世界各国逻辑学领域(计算机、人工智能和数学)众多著名科学家、学者出席颁奖仪式。贵州科学院研究员张明义在颁奖典礼上,荣获由库尔特·哥德尔学会颁发的2014年维也纳逻辑之夏终生成就奖,以表彰他在中国人工智能及知识表示领域,尤其是对在各种非单调性推理多变形式的数学描述上进行的开创性研究。

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号