机译:用于描述逻辑DL_D〜(4,Ã-)的推理服务的一个定理方法
机译:建立统一的原则以解释异构数据:模糊逻辑框架
机译:概率推理的统一框架Rolf Haenni,Jan-Willem Romeijn,Gregory Wheeler和Jon Williamson:概率逻辑和概率网络。 Dordrecht:Springer,2011,xiii + 155pp,€59.95 HB
机译:描述逻辑中的非标准推理服务的统一框架
机译:将描述逻辑推理与AI规划相结合以构成Web服务
机译:再次探讨了医学本体论中的整体推理-将SEP三元组引入基于分类的描述逻辑中。
机译:概率推理的统一框架。 [审查《概率逻辑和概率网络》一书,R。Haenni&J.-W.罗马,2011年]
机译:自动认知逻辑作为非单调推理的统一基础