轻信推理相关论文
该文研究判定一文字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性 .其中 ,D是一集 Horn缺省规则 ,而 W是 definite Horn公式或......
该文研究判定一文字是否出现在缺省理论〈D,W〉的某一扩张中的复杂性.其中,D是一集Horn缺省规则,而W是definite Horn公式或者Bi-Ho......
该文研究判定一文字是否出现在缺省理论〈Ｄ，Ｗ〉的某一扩张中的复杂性，其中，Ｄ是一种Ｈｏｒｎ缺省规则，而Ｗ是ｄｅｆｉｎｉｔｅ公式或者Ｂｉ－Ｈｏｒｎ公式。......
