Reasoning (abduction); Knowledge Representation; Search;
机译:解决一个假设的象棋问题:计算方法与人类推理的比较分析
机译:基于循环时间约束网络模型的计算机网络故障传播推理与诊断
机译:基于成本的假设推理中使用线性和非线性规划计算近似最优解的SL方法
机译:网络气泡传播方法的多项式谓词逻辑假设推理
机译:搭乘推理:政治谈判的网络方法和规范推理
机译:一类布尔生物网络可控制性测试的多项式时间算法
机译:网络泡沫传播法的多项式时间谓词 - 逻辑假设推理