Strands; Interpretation; Data processing security; Communications protocols; Reasoning; Linear programming; Symbols; Logic;
机译:叉代数中一阶线性时态逻辑的可解释性
机译:可证明逻辑和可解释逻辑中的双仿真和模态等价的注记
机译:关于可证明逻辑和可解释逻辑中的双仿真和模态对等的注记
机译:学习以线性时间逻辑表示的可解释模型
机译:部分解释语言的真实性和必要性(逻辑)。
机译:基于连续值逻辑和多标准决策操作员的医疗推荐系统使用可解释的神经网络
机译:线性逻辑中的解释链