机译:使用令牌演化进行推理的一阶逻辑的网络表示
National Institute of Information and Communications Technology Kobe, 651-2492, Japan;
BBR Inc.Osaka, 530-0002, Japan;
National Institute of Information and Communications Technology Kobe, 651-2492, Japan;
horn logic; data-flow network; inference; unification; evolution;
机译:一阶逻辑中的证据算法和推理搜索
机译:一阶逻辑扩展的有限域和符号推理方法
机译:一阶逻辑推理的局部实例化方法
机译:表示一阶逻辑推理的数据流网络
机译:逻辑综合在基因调控网络的推理和控制中的应用。
机译:利用模糊逻辑推理的贝叶斯神经网络预测蛛网膜下腔出血的临床疗效
机译:大型知识库中的有效推理和学习:推理 使用本地可接受的一阶提取信息 概率逻辑
机译:使用一阶概率逻辑建模遗传调控网络。