Efficiency trade-offs; soundness/completeness/expressibility;
机译:在矢量空间中使用部分评估的逻辑编程有效推理方法
机译:高效灾害监测中语义传感器网络本体的生物启发推理方案
机译:利用基于苏格兰健康研究登记册(分享)的案例推理有资格鉴定患者符合临床研究的患者
机译:高效通过贝叶斯推理的神经网络近似
机译:有效实施的框架,有效可视化Dempster-Shafer信念的理论计算,以便在不确定性下推理
机译:使用基于案例的推理在苏格兰健康研究注册簿(SHARE)上有效识别符合临床研究条件的患者
机译:基于基数限制的集合和多重的高效自动推理