万中 李业丽 关伟洲 郭一晶 孙铁利 刘叙华 邓智欢 尚颖

约束反驳 C-扩充 迭代修正 解释 相继式 公式行 规则 规划识别

福建厦门 吉林长春 东北师范大学 四平师范学院 厦门大学计算机科学系 吉林工业大学交通学院 东北师范大学计算机科学系 中南大学数学科学与计算技术学院