机译:使用准经典逻辑对矛盾信息进行推理
Paraconsisten logics; contradictory information; inconsistency;
机译:超一致数据库中的准经典推理
机译:学生信仰在绩效评估中多重矛盾信息的批判性推理时的作用
机译:学生信仰在绩效评估中的多矛盾信息批判性地推理时的作用
机译:语义网络中的逻辑逻辑的准古典语义和Tableau微积分
机译:确定性归纳逻辑:用于推理类别的多值逻辑。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:使用准经典逻辑对矛盾信息进行推理
机译:模糊逻辑中的三段论推理及其在处理推理中的应用