Probabilistic logic; Upper and lower probabilities Decidability; Completeness theorem;
机译:具有低概率运算符和高概率运算符的逻辑
机译:用于推理高阶上下概率的多主体逻辑
机译:包含“实际”算子的某些命题模态逻辑的完备性和可判定性结果
机译:具有上下概率运算符的迭代迭代的可解断的多代理逻辑
机译:Schroedinger运算符的不等式和迭代对数律
机译:基于连续值逻辑和多标准决策操作员的医疗推荐系统使用可解释的神经网络
机译:用于推理高阶高阶和较低概率的多智能逻辑
机译:迭代计算复杂度的严格下界和上界。