节点文献

逻辑程序的标识更新

“New” Update of Logic Program

推荐 CAJ下载
PDF下载
不支持迅雷等下载工具，请取消加速工具后下载。

【Author】 JI Weihua, LIANG Yiwen, DONG Hongbin (State Key laboratory of Software Engineering/Computer Science School, Wuhan University, Wuhan 430072)

【机构】武汉大学软件工程国家重点实验室/计算机学院；武汉大学软件工程国家重点实验室/计算机学院武汉430072；武汉430072；武汉430072；

【摘要】逻辑程序的优势在于它的自动更新,文章明确提出了丰富更新和替换更新的两种方法,通过重新标识的方法实现Extended logicprogram的自动更新,并生成更新程序,最后提出更新以后程序的求解方法。更多还原

【Abstract】 The advantage of Logic Program is its dynamic update, In this paper, rich update and replacing update is proposed and then “new ” update is suggested to get update programs. In the end the solution to the update program is given.更多还原

【关键词】 Extended logic program；自动更新；标识更新；
【Key words】 Extended Logic Program； Dynamic update； "New" Update；

【基金】国家自然科学基金重大研究计划“网络与信息安全”资助项目(90204011);软件工程国家重点实验室第4批开放基金资助项目

【文献出处】计算机工程 ,Computer Engineering , 编辑部邮箱 ,2005年07期

【分类号】TP311
【下载频次】42

知网节下载

节点文献中：

本文链接的文献网络图示:

本文的引文网络

节点文献