...
机译:少于两个时钟的度量时间推理
The University of Western Australia (Australia);
temporal logic; metric; reasoning;
机译:带有时钟的时态逻辑的知识表示,推理和集成
机译:带有时钟的时态逻辑的知识表示,推理和集成
机译:时间上下文中基于间隔和基于点的析取度量约束的推理
机译:在公制时间数据记录中传输流数据
机译:在果蝇中按时间编程的行为的遗传分析:西尔卡迪节奏,超节奏以及生物钟在学习中的作用。
机译:QMR的时间分析:抽象的时间表示和推理以及诊断性能折衷的初步评估。
机译:不确定性下的公制时间逻辑近似流推理