线性时态描述逻辑相关论文
模型检测是一种被广泛应用的验证有限状态系统性质的自动化验证技术。经过三十多年的研究发展,时态逻辑LTL和CTL的模型检测问题已......
时态描述逻辑将描述逻辑的刻画能力引入到命题时态逻辑中,适合于在语义Web环境下对相关系统的时态性质进行刻画.为了对这些时态性......
时态描述逻辑将描述逻辑的刻画能力引入到命题时态逻辑中，适合于在语义Web环境下对相关系统的时态性质进行刻画。为了对这些时态性......
时态描述逻辑ALC-LTL在命题线性时态逻辑LTL中引入了描述逻辑ALC的刻画能力,可以对语义Web环境下动态系统的时序特征进行刻画。该......
