机译:超级解决方案:简洁地表示归纳带注释的概率时间逻辑中的解决方案
University of Calabria,Universita della Calabria, Via P. Bucci Cubo 42C, 87036 Rende (CS), Italy;
College of Computer and Information Science, 256 West Village H, Northeastern University, Boston, MA 02115, USA;
Department of Computer Science, University of Maryland College Park, College Park,20742, USA;
Probabilistic and temporal reasoning; abductive reasoning; imprecise probabilities;
机译:带注释的概率时间逻辑中的绑架
机译:带注释的概率时态逻辑:近似定点实现
机译:带注释的概率时态逻辑
机译:贝叶斯归纳逻辑程序:归纳推理的概率逻辑
机译:根据时间逻辑规范进行的车辆控制具有概率满意度。
机译:从概率示例中学习概率逻辑模型
机译:注释概率时态逻辑中的绑架
机译:利用线性时态逻辑的诱导推理对监控视频中的人体行为识别。