机译:非确定性区间的扩展区间时间逻辑建模与推理
Extended interval temporal logic (EITL); inference; interval temporal logic (ITL); point-interval temporal logic (PITL); time Petri nets (TPNs); Extended interval temporal logic (EITL); inference; interval temporal logic (ITL); point-interval temporal logic (PIT;
机译:基于混合逻辑的知识软件系统扩展区间值置信度
机译:时间依赖于艾伦扩展区间逻辑的本体论查询
机译:通过时间间隔逻辑模型检查评估时间数据集
机译:使用混合逻辑推动的延长间隔值置信
机译:使用时间间隔逻辑指定分布式程序。
机译:1563.金黄色葡萄球菌性心内膜炎抢救疗法的每日和延长间隔达巴万星剂量方案的群体药代动力学和药效学:兔子感染数据的机械模型用于支持人剂量方案
机译:混合逻辑推理知识系统的扩展区间值置信度
机译:扩展区间时序逻辑和时态逻辑程序设计的成帧技术