计算机工程与应用2004，Vol.40Issue(36)：58-60,66,4.
修正的逻辑程序知识库更新方法
Updating Logic Programs on the Bases of Revision Programming
摘要
关键词
知识库更新/修正程序/逻辑程序/逻辑程序更新分类
信息技术与安全科学引用本文复制引用
曾奕,董红斌,李宁,房丽娜..修正的逻辑程序知识库更新方法[J].计算机工程与应用,2004,40(36):58-60,66,4.基金项目
国家自然科学重大研究计划项目(编号:90204011) （编号:90204011）
武汉大学软件工程国家重点试验室开放基金 （）
