机译:使用维恩图执行逻辑推理:自动执行分类语句的三段论推理的算法
机译:通过基于描述逻辑的自动推理,以最终用户为中心的Web组件自动适应
机译:用于本地化应用程序的链接数据和辩证逻辑
机译:拟胆管逻辑RM3的自动推理
机译:确定性归纳逻辑:用于推理类别的多值逻辑。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:通过基于描述逻辑的自动推理,以最终用户为中心的Web组件自动适应
机译:近似推理理论中的自动定理证明及其在逻辑程序设计和专家系统中的应用。