唐素勤 白硕 刘真环 邓培民 周生明 蒋运承 张师超 吴寅 申宇铭 冀高峰 隋立颖 陈晓锋 汤庸 史忠植 李梅 马越 陈艳 侯金宏 韦立 游立科 张梅有 陈文彬 周洪煜 蔡自兴 曹发生 张维 覃萍 眭跃飞 曹存根 赵小香

描述语义 tableaux 模糊动态描述逻辑 翻译 CIM模型 二阶逻辑 有穷基 最小公共包含 模糊描述逻辑 时段演算 FLε 标准推理 描述图 磨削 完全强化自动机 混合推理 蕴含 全局调度算法 语义忠实翻译 时序数据库 最大不动点语义 描述逻辑 模糊数据库 μALCIO 属性探索算法 控制系统 防抵赖性 情境演算 关系-值-映射（RVM） 语义Web

广西桂林 国家智能计算机研究开发中心 广西师范大学数学科学学院 广西师范大学数学与计算机科学系 中国科学院软件研究所 广东广州 中国科学院计算机科学国家重点实验室 中国科学院计算技术研究所