乔里·恩格弗里特;V.Wiktor马雷克;特雷尔,简;特鲁什琴斯基,米洛斯奥 非单调推理规范的无限缺省逻辑。 (英语) 兹比尔1427.68290 Alferes,JoséJülio(编辑)等人,《人工智能中的逻辑》。欧洲研讨会,JELIA’96,埃沃拉,葡萄牙,1996年9月30日至10月3日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1126, 224-236 (1996).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}等人,Lect。注释计算。科学。1126224-236(1996年;Zbl 1427.68290) 全文: 内政部
乔里·恩格弗里特 只有持久性使得非单调性单调(扩展抽象)。 (英语) Zbl 1427.68289号 Alferes,JoséJülio(编辑)等人,《人工智能中的逻辑》。欧洲研讨会,JELIA’96,埃沃拉,葡萄牙,1996年9月30日至10月3日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1126, 164-175 (1996).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet},莱克特。注释计算。科学。1126164--175(1996年;Zbl 1427.68289) 全文: 内政部