谷文祥 栾尚敏 徐凤生 苏开乐 张立明 欧阳丹彤 殷明浩 白洪涛 赵晓威 李莹 戴国忠 张健 吕帅 李未 王青海 孙吉贵 李新晖 屈玉贵 朱兴军 吴瑕 黄拙 石莲 刘磊

半扩展规则 自动推理 形式化语言 非单调逻辑 可满足性问题 主析取范式 信念修正 可满足性 知识库 启发式策略 扩展规则 矢列演绎系统 模态逻辑 一阶逻辑 LPN 主合取范式 扩展可达树 R-重构 描述逻辑 集合论解释 归结 状态转移图 有限信息集 人工智能 逻辑系统 定理机器证明 定理证明 智能规划 知识编译 编译目标语言