机译:使用答案集编程进行定性空间推理的轨迹演算
Univ Huddersfield, Huddersfield, W Yorkshire, England;
Univ Huddersfield, Huddersfield, W Yorkshire, England;
Univ Huddersfield, Huddersfield, W Yorkshire, England;
Univ Huddersfield, Huddersfield, W Yorkshire, England;
Univ Calabria, Commenda Di Rende, Italy;
Swinburne Univ Technol, Hawthorn, Vic, Australia;
Swinburne Univ Technol, Hawthorn, Vic, Australia;
Answer Set Programming; Spatial Reasoning; Qualitative Reasoning; Trajectory;
机译:答案集规划中定性理论的编码和推理的广义方法
机译:定性时空推理的答案集程序设计:方法和实验
机译:具有答案集编程模理论的非单调空间推理
机译:答案集编程的定性时空推理
机译:用概率答案集编程进行推理和学习
机译:集合论逻辑和概率:将定性推理整合到定量生物学教学统计中
机译:答案集规划中定性理论的编码和推理的广义方法
机译:定性空间推理:空间聚合的提取与推理