李超明 林瀚 杨志华 杨晋吉 陈清亮 岳伟亚 骆翔宇 吕关锋

知识库 通用性 实例化空间 逻辑系统 信念修正 局部搜索 命题逻辑 自动化验证

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