...
机译:溪流推理的固定点语义
Institute of Discrete Mathematics and Geometry Vienna University of Technology Wiedner Hauptstraβe 8-10 A-1040 Vienna Austria;
Dynamic data; Answer set programming; Stream reasoning;
机译:一种基于语义流推理的支持智慧城市决策过程的方法
机译:“基于语义流推理的方法来支持智慧城市中的决策过程”更正[Telemat。信息。 35(1)(2018)68-81]
机译:使用SPARQL更新的用户可配置语义数据流推理
机译:缩小固定和移动DTV接收器的语义推理的规模
机译:通过对流数据的重要性进行建模来增强流推理
机译:流式MASSIF:物联网数据流高效处理的级联推理
机译:溪流推理的固定点语义