Artificial intelligence; High level languages; Intervals; Communication networks; Decision making; Logic circuits;
机译:区间时间逻辑中的快速推理
机译:具有间隔时间逻辑的集成电路的功能和时序的推理
机译:使用时间逻辑分析时间逻辑:一种基于时间间隔的分层方法
机译:用于高级时间推理的区间逻辑
机译:使用时间间隔逻辑指定分布式程序。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:区间时间逻辑推理 - 新前沿