AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:近似推理,自我引用的逻辑,以及在系统建模中使用非分化逻辑
Daniel Schwartz;
机译:逻辑理论的粗糙一致性测度和粗糙逻辑中的近似推理
机译:使用元编程,约束逻辑编程和近似推理进行专家系统设计
机译:具有近似条件概率的逻辑可以对默认推理进行建模
机译:近似推理逻辑:“从上方”近似经典逻辑
机译:近似推理,自参考逻辑以及在系统建模中使用非经典逻辑
机译:用粗略描述逻辑进行推理:一种近似概念方法
机译:近似推理,自引用逻辑以及系统建模中非经典逻辑的使用
机译:近似推理理论中的自动定理证明及其在逻辑程序设计和专家系统中的应用。
机译:从行为描述创建和验证电子设计的结构逻辑模型的方法和系统,包括逻辑和时序模型的生成
机译:一种推理推理工具,用于基于数据驱动模型和基于知识的逻辑的混合来推荐操作。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。