刘叙华 姜云飞 吕帅 张永刚 孙吉贵 白洪涛 刘瑶 殷明浩

Horn集 一致性检测 实时更新 智能搜索引擎 2-CNF推理 基于模型的诊断 定理证明 命题逻辑

吉林大学计算机科学系 中山大学计算机软件所 中山大学计算机软件研究所 东北大学信息科学与工程学院 吉林大学计算机科学与技术学院 符号计算与知识工程教育部重点实验室 吉林大学计算机科学与技术学院符号计算与知... 吉林大学符号计算与知识工程教育部重点实验...