殷丽凤 施伯乐 鲁玉军 王志英 古飚 魏志强 邹伟 李必信 郑国梁 杨冠平 何建仓 何锫 孙建平 闫萍 陈渝新 原魁 马锦忠 贾东宁 王元元 肖政宏 江卫国 李宣东 田宏 玄钟伍 闫林 唐正力 贾焰 康密军 吕腾 李力

蕴涵问题 等值置换 查询求值 智能化 本体 完备性 冲突率 隐私保护 经验风险函数 三维形体 自然推理系统 解释器 几何约束求解 普适计算 相似度 伪距离 产品设计 CAS-Glove 启发式 粒空间 非单调 子类型规范 语义网络 中国手语 属性文法 语义标注 对象子类型 访问控制 排课 函数依赖