林笠 凌应标 吴康恒 马宁 刘强 刘国英 朱慧泉 张学农

冲突 动作模型 派生规划问题 部分可满足规划 诊断分解 图规划 执行结构 值传递

广东广州 暨南大学 中山大学软件研究所 中山大学计算机软件所 中山大学计算机软件研究所 广东商学院数学与计算科学学院 华南理工大学计算机科学与工程学院 中山大学信息科学与技术学院软件研究所