李超明 林瀚 杨志华 杨晋吉 陈清亮 岳伟亚 骆翔宇 吕关锋 顾明 李未 ZHENG Xi-Zhong 肖茵茵 徐旭东 吴立军 陈火旺 苏金树 刘海燕

知识库 通用性 实例化空间 逻辑系统 信念修正 局部搜索 命题逻辑 自动化验证 二值图 自动机 多智体系统 协议 概率 OBDDs OBDD mu演算 可满足性问题 有序二值判定图（OBDD） 认证性 AO 和与积难题 Context 二阶逻辑 有序二元判定图 时态认知逻辑 可满足性问题SAT) 验证 加密信息交换模型 R-重构 方法论

中山大学计算机科学系 中山大学计算机科学与技术系 河南科技大学电子信息工程学院 北京航空航天大学计算机科学与工程系 广东广州 河南洛阳 北京大学信息科学技术学院 桂林电子科技大学计算机与控制学院