机译:答案集规划中定性理论的编码和推理的广义方法
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;
Answer Set Programming; Qualitative Calculus; Qualitative Reasoning; Spatial Reasoning;
机译:使用答案集编程进行定性空间推理的轨迹演算
机译:定性时空推理的答案集程序设计:方法和实验
机译:具有答案集编程模理论的非单调空间推理
机译:使用答案集编程对基本方向的定性推理
机译:用概率答案集编程进行推理和学习
机译:集合论逻辑和概率:将定性推理整合到定量生物学教学统计中
机译:答案集规划中定性理论的编码和推理的广义方法