机译:在知识的预测维护系统中使用规则基础细化的规则质量措施
机译:时间贝叶斯知识库-具有时间约束的不确定性的推理
机译:使用一致的多数规则方法和知识形式维护来自动合并冲突的知识库
机译:时间演绎知识库的完整性约束和规则维护
机译:强制性披露规则是否足以使“采购廉正法”“重要”?:看《采购廉正法》及其将其纳入强制性披露规则的理由。
机译:使用演绎数据库技术对重症监护室中实验室数据进行基于知识的解释的框架。
机译:将转移规则应用于双时态演绎数据库的完整性约束检验
机译:使用完整性约束来控制知识库系统中的搜索