退出
我的积分:
中文文献批量获取
外文文献批量获取
张晨东; 陈火旺; 王兵山; 徐光;
长沙工学院计算机系;
空军指挥学院;
概率逻辑; 不确定性推理; 分解算法; 类超树结构;
机译:具有积分逻辑的有限次数测量概率模型的完备性定理
机译:有限和可数模型上概率逻辑的有效性和可满足性的可计算性
机译:有限类模型上概率逻辑公式的接近度和可辩驳性
机译:一阶类型的模糊逻辑及其分类语义:线性完备性和基于Lawvere超学说的Baaz翻译
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:从概率示例中学习概率逻辑模型
机译:通过计算的非确定性约束逻辑模型实现滑块拼图的pspaCE完备性及其他问题
机译:何时超完备表示可识别。扩张约束下张量分解的唯一性
机译:基于使用概率模型和模糊逻辑构建的理论和经验过程模型的业务过程行为一致性检查和诊断方法和系统
机译:基于概率模型和模糊逻辑构建的基于理论和经验过程模型的业务过程行为一致性检查和诊断方法及系统
机译:生成地球物理数据概率模型的方法,包括生成训练库概率模型,将模型应用于一组或多组数据以生成多个处理结果,并根据可接受性标准接收结果。如果用户模型可以接受,则选择的候选人会收到评估结果。如果不可接受,例如要添加到库中;方法;储存媒介;系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。