Reiter扩充相关硕士博士期刊学术论文

Reiter的缺省逻辑的一个缺陷是不能分情形进行推理，为了克服Reiter扩充的这一缺陷，Roos提出了缺省扩充的一种修正定义来解决这一问题......