孙吉贵 刘庆华 李莹 邵斌 沈浩 马世龙 高春鸣 罗文坚 严智敏 石纯一 刘磊 孙永强 郝国舜 黄智生 李津 张东摩 吕宗磊 石莲 刘瑞胜 胡山立 冯登国 宫宁生 宰云峰 吕帅 王煦法 张晓如 林作铨 刘清 刘叙华 眭跃飞

动态逻辑 知识 信念． CKT5逻辑 密码系统相关缺陷 模糊推理 定理证明 分析 中介模态逻辑 可满足性 D公理 Tableau算法 信息过滤 公理系统 信念 模型检测 意图 模型验证 业务流程执行语言 形式化分析 近似推理 形式系统 Roughly真值 时序逻辑 自动推理 模糊约束 极小化模型 联盟逻辑 μ算子 认识逻辑