机译:常识推理的逻辑形式化:一项调查
机译:勤杂度推理的逻辑形式:调查
机译:讨论文件:多少常识和法律推理可以形式化?回顾概念障碍
机译:感知中模糊逻辑中常识推理的形式化
机译:勤神心理学逻辑形式的批评问题
机译:了解具有型号知识表示,推理和模拟的自然语言
机译:是临床肌肉骨骼疼痛与较差的逻辑推理相关吗?
机译:知识表示和常识推理:对四本书的评论Ronald J.BrachmanHector J.Levesque知识表示和推理2004Morgan Kaufmann1558609326381页RaymondReiter行动知识:指定和实现动态系统的逻辑基础2001MIT Press0262182181448页Erik T.MuellerCommons理性200320060523CaelKalymann123香客机密页数
机译:集成逻辑和非逻辑推理