林海 孙焱 谷文祥 吴瑕 吕帅 孙吉贵 刘小飞 刘科成

约减观察变量 数据挖掘 概率规划领域定义语言 隐蔽集 命题逻辑 人工智能 延迟部分推理 最坏模型

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