机译:定性形状的逻辑组合用于解决空间推理测试
Univ Bremen, BSCC, Bremen, Germany;
Univ Jaume 1, Castellon de La Plana, Spain;
Qualitative spatial reasoning; Qualitative shape descriptor; Shape composition; Angle composition; Length composition; Logic; Tangram; Puzzle; Spatial cognition; Spatial reasoning tests; Prolog; Logic programming;
机译:定性形状组成的空间推理
机译:定性时空推理中的分解与易处理性
机译:定性空间知识推理的圆柱代数分解
机译:逻辑框架中的定性空间推理
机译:纯粹数学和应用数学的认知:研究基本大学数学课程的成功与计算和逻辑推理能力之间的关系。
机译:逻辑推理,空间处理和言语工作记忆:12-13岁时物理成就的纵向预测因子
机译:将定性空间推理纳入GIs的逻辑方法(扩展摘要)
机译:定性空间推理:空间聚合的提取与推理