机译:维护有限知识库的可编程方法
Institute of Software, The Chinese Academy of Sciences, Beijing 100080, P.R. China;
knowledge base maintenance; propositional logic; predicate logic; clause set;
机译:维护有限知识库的可编程方法
机译:基于知识的测试和维护程序功能规范
机译:使用一致的多数规则方法和知识形式维护来自动合并冲突的知识库
机译:KBM - 基于知识的维护 - 基于维护团队的知识的维护计划优化的现实方法
机译:一种基于知识的系统方法,用于多车道公路改建和维护项目的轮班选择。
机译:基于路径的动态编程方法基于知识的人脑白质运动自动重建
机译:从案例知识到适应知识的转移:基于案例的维护方法