机译:将知识编译技术应用于基于模型的推理
NASA Ames Res. Center, Moffett Field, CA;
knowledge based systems; knowledge engineering; design; diagnosis; knowledge compilation techniques; knowledge-based systems; model-based reasoning; simulation;
机译:用于将基于模型的推理技术应用于电力系统保护诊断的工具集
机译:知识推理技术在神经网络中的应用
机译:封闭世界推理和限制的知识汇编
机译:基于模型的复杂主动系统诊断知识编辑技术
机译:命题知识的推理:布尔可满足性和知识汇编的框架。
机译:反向因果推理:将定性因果知识应用于高通量数据的解释
机译:将知识编译技术应用于基于模型的推理
机译:知识编译技术在基于模型推理中的应用