%0 Journal Article
%T 若干限制形式的缺省推理的复杂性
%A 丁德成
%A 赵希顺
%J -
%D 2000
%X 该文研究判定一文字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性.其中，D是一集Horn缺省规则，而W是definite Horn公式或者Bi-Horn公式
%K 缺省逻辑
%K Horn缺省规则
%K 轻信推理.
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=20000704&flag=1