机译:概率信号时序逻辑中的增量推理
Linkoping Univ S-58183 Linkoping Sweden;
Knowledge representation; Stream reasoning; Incremental reasoning; Probabilistic logic; Temporal logic; Runtime verification;
机译:PDT逻辑:多智能体系统中信念推理的概率时态逻辑
机译:PDT逻辑:多智能体系统中信念推理的概率时态逻辑
机译:具有时间逻辑约束的概率环境中的增量控制器综合
机译:具有时间逻辑约束的概率环境中的增量控制综合
机译:一种模态时态逻辑,用于推理变更数据库,并将其应用于自然语言问题回答(人工智能)。
机译:从封面开始:基于氮信号传导和在植物中使用的动态调控网络的时间转录逻辑
机译:概率信号时间逻辑增量推理