机译:默认推理的受限语义
Peking Univ, Dept Informat Sci, Sch Math Sci, Beijing 100871, Peoples R China;
Restricted semantics; Paraconsistency; Four-valued logic; Default logic; Nonmonotonic reasoning; 68T30;
机译:严格可信的默认推理的复杂性结果
机译:在默认逻辑中使用默认设置进行推理
机译:在默认逻辑的某些语义变体中,半规范默认的表达能力
机译:默认推理的受限四值逻辑
机译:多上下文交互的语义:一种使用默认值进行推理的方法
机译:迈向物联网:网络物理系统的混合语义注释提取和推理框架
机译:固定不动点语义下默认推理的复杂性
机译:将默认和似然推理建模为概率推理