Possibilistic logic; Multiple-agent logic; Multiple-agent possibilistic logic; Possibility theory; Refutation; Uncertainty;
机译:在可能性逻辑中用不确定性推理扩展描述逻辑
机译:可能的证明逻辑:关于证明不确定的信念的推理
机译:广义可能性逻辑:关于不确定性的定性推理的基础和应用
机译:用多种Agent可能性逻辑推理
机译:确定性归纳逻辑:用于推理类别的多值逻辑。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:多智能体可能性逻辑推理
机译:模糊逻辑中的三段论推理及其在处理推理中的应用