殷明浩 史晶晶 石莲 刘磊 江鸿 李莹 欧阳丹彤 魏唯 蔡敦波 朱兴军 刘树安 杨宇鹏 孙吉贵

实时更新 公理 最好模型 增量搜索 可满足性 自动推理 松弛规划图 2-CNF推理 D公理 命题逻辑 定理机器证明 基于可满足性的规划 文本注记 Conformant规划 公理系统 非单调逻辑 启发式搜索 多目标问题 conformant规划 智能规划 定性决策 可满足性问题 模态逻辑 编码方式 析取目标 描述逻辑 不确定规划 归结 扩展规则 遗传算法

吉林大学计算机科学与技术学院 吉林大学符号计算与知识工程教育部重点实验... 东北师范大学计算机学院 辽宁沈阳 东北大学系统工程研究所 吉林大学教育部符号计算与知识工程重点实验...