机译:实践推理的逻辑
The University of Zambia, P.O. Box 32379, Lusaka, Zambia;
Practical reasoning; Ethics; Practical arguments; Practical inference; Validity; Practical logic;
机译:“实用逻辑和自动推理手册”,约翰·R·哈里森,剑桥大学出版社,2009年
机译:实用逻辑和自动推理手册
机译:具有限定数量限制的实用推理:用于描述逻辑SHQ的混合Abox演算
机译:带有不可思议的宗逻辑的实用规范推理
机译:使用事务逻辑编程进行知识库动力学的实用推理。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:约翰·哈里森(John R. Harrison)着,“实用逻辑和自动推理手册”,剑桥大学出版社,2009年
机译:模糊逻辑中的三段论推理及其在处理推理中的应用