基于扩展规则的模型计数与智能规划方法.pdfVIP

计算机研究与发展 ISSN 1000-1239/CN 11-l777/TP Journal of Computer Research and Development 46(3): 459-469 , 2009 基于扩展规则的模型计数与智能规划方法 赖永欧阳丹彤蔡教波吕州 〈吉林大学计算机科学与技术学院 妖春 130012) (宵林大学符号计算与知识工程教育部1重点实验室 长春 130012) (y.lai@163.ωm) Model Counting and Planning Using Extension Rule Lai Yong , Ouyang Dantong , Cai Dunbo , and Lü Shuai (College of Comþuter Science and Technology. J ilin Unit咐rsity. Changchun 130012) (Key Laborato巾。f Sy咽ÚXJlic Comþutation and Knowledge Enginee俨ing o