机译:系统Z(FO):一元一阶条件知识库的类似系统Z排名功能的默认推理
Univ Hagen, Fac Math & Comp Sci, D-58084 Hagen, Germany;
Univ Hagen, Fac Math & Comp Sci, D-58084 Hagen, Germany|Tech Univ Darmstadt, Dept Comp Sci, Ubiquitous Knowledge Proc UKP Lab, Darmstadt, Germany;
Univ Hagen, Fac Math & Comp Sci, D-58084 Hagen, Germany;
Univ Technol Dortmund, Dept Comp Sci, D-44221 Dortmund, Germany;
Conditional logic; First-order logic; Nonmonotonic logic; Ranking function; System Z; Tolerance pair;
机译:知识库中术语和一阶从句的混合推理系统
机译:基于知识的条件推理系统
机译:基于解释的知识关于系统功能和驾驶员角色在有条件自动化驾驶期间驾驶员的作用:测试跟踪研究
机译:用于一阶条件知识库的系统Z样函数的系统Z样函数的最小公差对
机译:桥梁管理系统(BMS)的新模型:桥梁维修优先等级系统(BRPRS),基于案例的桥梁劣化推理,成本优化和保存策略
机译:基于知识的系统。开发和评估专家系统的方法:基于MLM的订单输入系统:传统HIS应用程序中知识的使用
机译:条件知识库的默认推理:复杂性和易处理的案例
机译:航空航天系统中基于知识的功能(systemes de Guidage et depilotage aerospatiaux a Base de systemes Experts)