Detecting Temporal Logic Predicates on the Happened-Before Model *

机译：直觉谓词逻辑的概率模型

机译：谓词逻辑的面向制造的离散过程建模方法

机译：一阶谓词逻辑的制造过程智能建模与分析方法

机译：检测发生在发生的模型之前的时间逻辑谓词

机译：预测谓词逻辑推理问题的难度：谓词逻辑模型的实证检验

机译：基于模糊时间逻辑的铁路客流预测模型

机译：检测事件先验模型的时态逻辑谓词

机译：一阶谓词逻辑模型理论及相关时态逻辑

机译：用户友好型系统，使用时间逻辑，数值和概率约束来对时间间隔内的事件进行复杂的排序，优化和建模（也适用于灾难性事件）

机译：检测和建模时间计算机活动模式

机译：建模和估计串扰噪声并检测错误逻辑