肯·卡内瓦 用矛盾、矛盾和分包描述逻辑。 (英语) Zbl 1137.68055号 新一代计算。 25,第4期,443-468(2007)。MSC公司:68T27型 03B60号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{K.Kaneiwa},新一代计算。25,第4号,443--468(2007;Zbl 1137.68055) 全文: 内政部
肯·卡内瓦 知识库中术语和一阶子句的混合推理系统。 (英语) Zbl 1103.68118号 新一代计算。 24,第1期,29-51(2006)。MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{K.Kaneiwa},新一代计算。24,第1号,第29--51条(2006;Zbl 1103.68118) 全文: 内政部
肯·卡内瓦 带有谓词层次结构的顺序逻辑编程。 (英语) Zbl 1086.68026号 Artif公司。智力。 158,第2期,155-188(2004)。MSC公司:68N17号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{K.Kaneiwa},人工制品。智力。158,第2号,155--188(2004;Zbl 1086.68026) 全文: 内政部
肯·卡内瓦 层次表示中基于标签的公式的解析。 (英语) Zbl 1088.68164号 新一代计算。 22,第3期,253-269(2004)。MSC公司:68立方英尺 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{K.Kaneiwa},新一代计算。22,第3号,253--269(2004;Zbl 1088.68164) 全文: 内政部