×

找到2个文档(结果1-2)

非单调推理规范的无限缺省逻辑。 (英语) 兹比尔1427.68290

Alferes,JoséJülio(编辑)等人,《人工智能中的逻辑》。欧洲研讨会,JELIA’96,埃沃拉,葡萄牙,1996年9月30日至10月3日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1126, 224-236 (1996).
MSC公司:68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

只有持久性使得非单调性单调(扩展抽象)。 (英语) Zbl 1427.68289号

Alferes,JoséJülio(编辑)等人,《人工智能中的逻辑》。欧洲研讨会,JELIA’96,埃沃拉,葡萄牙,1996年9月30日至10月3日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1126, 164-175 (1996).
MSC公司:68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

主字段