国家自然科学基金资助项目(71371184)
王炎娟,郝智勇,姚莉.计划中的时序偏好表示和非单调推理[J].国防科技大学学报,2014,36(4):177-183.
WANG Yanjuan, HAO Zhiyong, YAO Li. Temporal reference representation and nonmonotonic deduction in planning[J]. Journal of National University of Defense Technology,2014,36(4):177-183.