Tualatin, OR-based consulting group, Siqual Inc.;
机译:一阶谓词逻辑,模糊逻辑和非单调逻辑作为知识表示方法的比较
机译:Boltzmann神经网络中的Supra-Classicical Logic:I表示
机译:C-Readision序列条件功能的加权逻辑表示
机译:一阶L-谓词非单调逻辑的二阶逻辑和Z模态逻辑表示命题情况的决策程序
机译:使用归纳逻辑编程将英语句子与抽象含义表示图对齐
机译:继任者表示:其计算逻辑和神经衬底
机译:扩展到模糊逻辑表示:走向中智逻辑-一只新的实验室老鼠