孙成敏 杨波 潘久辉 唐志刚 许晟 钟宏音 李琳娜 姜云飞 申宇铭 黄冠利 张健 陈其明 杨炳儒 薛锦云 杨珺 覃征 栾尚敏 孙永强 黄拙 徐贵红 眭跃飞 马越 缪准扣 沈浩 何坚 伍丽华 曹存根 孙舒杨 孙吉贵 戴国忠

本体 语义理论 有限信息集 合取式 定理证明 Markov网 演绎数据库 布尔环 除算子 连接法 矩阵算法 描述逻辑 可满足性 模态逻辑 算法 数据库模式 关系模型 高阶逻辑 命题逻辑表达式 子路径 Monadic二阶逻辑 命题逻辑 子矩阵 等价变换 条件求值问题 机器学习 两条路径 Markov逻辑网 集中式数据库 μ算子