扩张不存在相关硕士博士期刊学术论文

标准缺省逻辑是一种重要的常识表示和推理工具，但是由于它以经典逻辑为底层推理方法，而且要求验证和最终的缺省结论必须协调，因此在标......