搜索筛选:
搜索耗时1.1598秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者:李新战,王晓刚,曾奕,
来源:武汉科技学院学报 年份:2006
本文在逻辑程序的理论基础上引入一种规范知识库更新的形式化方法-修正程序,它允许使用逻辑程序的说明性语义和强制性语义来解释修正规则,但用来解释修正程序将会变得非常困难,......
相关搜索: