Web service; dynamic linear time temporal description logic; quasimodel; tableau algorithm; temporal description logic;
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:基于Tableau的动态线性时间时序逻辑的自动机构造
机译:重新使用时间描述逻辑ALC-LTL进行运行时验证
机译:动态线性时间时间描述逻辑
机译:Web应用程序运行时验证的正式框架:范围扩展的线性时间逻辑支持的方法
机译:使用统一的结构方程模型在社交互动中映射时间动态:描述和演示揭示了游戏行为中随时间变化的性别差异
机译:动态线性时间逻辑的动态自动机构造
机译:线性时态逻辑规范的运行时分析