于枫 刘越畅 谢琦 谢嘉孟 胡鹤 程辉 彭宏 王生生 郑启伦 钱红 胡广朋 凌青华 林嘉宜 胡广鹏 沈继峰 姜云飞 邵玉宝 王艳 刘大有

区间代数 测不准原理 空间推理 时态知识表示 不确定性推理 人工智能 约束可满足问题 区间矩阵 析取时态问题 变量排序 时空推理 持续函数 智能规划和调度 INDU网络 值选择 模糊时间