弗拉基米尔·利夫希茨(编辑) 常识和非单调推理。 (英语) 兹比尔0816.00012 J.汽车。推理 14,第1期,188页(1995年).MSC公司:00B15号机组 68-06 PDF格式BibTeX公司 XML格式引用 \textit{V.Lifschitz}(编辑),J.Autom。推理14,第1期,188页(1995;Zbl 0816.00012) 全文: 内政部
何塞·朱利奥;达马西奥,卡洛斯·维耶加斯;路易斯·莫尼兹·佩雷拉 用于非单调推理的逻辑程序系统。 (英语) Zbl 0819.68034号 J.汽车。推理 14,第1期,93-147(1995).MSC公司:68N17号 03B60号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Alferes}等人,J.Autom。推理14,No.1,93--147(1995;Zbl 0819.68034) 全文: 内政部
马修·格林斯伯格。 情态和中断。 (英语) Zbl 0829.68026号 J.汽车。推理 14,第1期,43-91(1995). 审核人:A.纳贝宾(莫斯科) MSC公司:68N17号 68问题55 03B45号 03B60号 68T99型 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Glinsberg},J.Autom。推理14,No.1,43--91(1995;Zbl 0829.68026) 全文: 内政部
伊尔卡·尼梅尔 一种基于自认知推理的非单调推理决策方法。 (英语) Zbl 0826.03007号 J.汽车。推理 14,第1期,第3-42页(1995年). 审核人:H.J.Ohlbach(萨尔布吕肯) MSC公司:03B35型 03B60号 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{I.Niemelä},J.Autom。推理14,No.1,3--42(1995;Zbl 0826.03007) 全文: 内政部