林海 孙焱 谷文祥 吴瑕 吕帅 孙吉贵 刘小飞 刘科成 赵晓威 王改革 李淑霞 闫书亚 魏唯 蔡敦波 欧阳丹彤 周俊萍

约减观察变量 数据挖掘 概率规划领域定义语言 隐蔽集 命题逻辑 人工智能 延迟部分推理 最坏模型 SAT问题 朴素组件规划图 知识编译 启发式搜索 知识库 不确定规划 决策树 动态规划 增量搜索 图规划 部分可观察规划 强规划 QBF问题 智能规划 编译目标语言 实时更新 多目标问题 定性决策 隐藏结构 最好模型 模糊熵 概率规划

东北师范大学计算机学院 吉林大学计算机科学与技术学院 吉林大学教育部符号计算与知识工程重点实验... 长春130012吉林大学符号计算与知识工... 长春130012吉林大学符号计算与知识工... 东北师范大学计算机系 中国科学院长春光学精密机械与物理研究所 中国科学院研究生院