机译:人工智能中的常识推理和常识知识
机译:人工智能中的常识推理和常识知识
机译:使用高阶逻辑定理证明合成生物学的正式推理
机译:致辞推理符合定理证明
机译:计算逻辑系统中的自动生成和使用示例(人工智能,定理证明,形式推理)。
机译:使用定理证明关于系统生物学的形式推理
机译:知识表示和常识推理:对四本书的评论Ronald J.BrachmanHector J.Levesque知识表示和推理2004Morgan Kaufmann1558609326381页RaymondReiter行动知识:指定和实现动态系统的逻辑基础2001MIT Press0262182181448页Erik T.MuellerCommons理性200320060523CaelKalymann123香客机密页数
机译:近似推理理论中的自动定理证明及其在逻辑程序设计和专家系统中的应用。