用于验证空间对象匹配关系的定性空间逻辑
61703218
2017
F0601.人工智能基础
杜何珊
青年科学基金项目
讲师
宁波诺丁汉大学
28万元
定性空间推理;定性空间逻辑
2018-01-01到2020-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | A Logic of Directions | 会议论文 | Heshan Du;Natasha Alechina;Anthony G. Cohn |
| 2 | Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable | 会议论文 | Heshan Du;Natasha Alechina |
查看更多信息请先登录或注册
