Modal logic; Hennessy-Milner logic; Transition systems; Negation; Exclusion; Elementary equivalence; Incompatibility semantics; Knowledge representation; Philosophy of language;
机译:不确定的逻辑处理:使用Dempster-Shafer模型进行基于逻辑的推理和推理
机译:对称和。逻辑中的对偶性:解释超越推理的认知过程的双逻辑解释
机译:推理;直觉逻辑;证明理论;逻辑性质;逻辑运算符
机译:利用隐私推理逻辑捕获针对K-匿名性的推理攻击
机译:用于马尔可夫逻辑的可扩展推理技术用于马尔可夫逻辑的可扩展推理技术。
机译:原子层沉积技术在高性能RRAM交叉开关阵列中进行逻辑运算的演示
机译:跨原子单位句子逻辑系统。