机译:在基于知识的系统中为基于论证的推理形式化辩证解释支持
机译:迈向形式化非单调推理的形式化:Kolmogorov复杂度的使用
机译:Kappa-PMP:通过基于知识的推理增强基于物理的运动计划者
机译:定性国家空间:幼稚物理方法的形式化,以知识为基础的推理
机译:在基于知识的系统中使用定性推理的有效性。
机译:了解骨病的临床推理:定性研究方法
机译:物理学中非单调推理的形式化:基于物理归纳的逻辑方法及其与Kolmogorov复杂性的关系
机译:基于案例的空间应用推理:利用以知识为基础的系统的先前经验