机译:间隔逻辑及其决策程序.1。间隔逻辑
机译:投影有限时间逻辑的决策程序和完全公理化
机译:控制问题中1型模糊逻辑系统,区间2型模糊逻辑系统和广义2型模糊逻辑系统的比较研究
机译:实时间隔逻辑,用于推理实时程序的执行
机译:通过使用间隔Type-2建模和基于一般类型-2模糊逻辑代理的方法引入不确定性来引入基于集合的设计实践的增强
机译:基于区间2型模糊逻辑系统的图像隐写相似度评估
机译:区间逻辑及其决策程序 - 第二部分:实时区间逻辑
机译:关于多状态自动机时间区间逻辑约束的实时系统的推理