A COMMENT ON RCC: FROM RCC TO RCC++-Reference-Cited by-同舟云学术

A COMMENT ON RCC: FROM RCC TO RCC++

Published:2008-01-08 Issue:4 Volume:37 Page:319-352
ISSN:0022-3611
Container-title:Journal of Philosophical Logic
language:en
Short-container-title:J Philos Logic

Author:

Dong Tiansi

Publisher

Springer Science and Business Media LLC

Subject

Philosophy

Link

http://link.springer.com/content/pdf/10.1007/s10992-007-9074-y.pdf

Reference27 articles.

1. Bennett, B., Cohn, A. G., Torrini, P., and Hazarika, S. M.: 2000, Region-based Qualitative, Technical Report, School of Computing, University of Leeds.

2. Bennett, B., Cohn, A. G., Torrini, P., Hazarika, S. M.: 2000, A foundation for region-based qualitative geometry, in W. Horn (ed.), Proceedings of ecai-2000, pp. 204–208.

3. Clarke, B. L.: 1981, A calculus of individuals based on ‘connection’, Notre Dame Journal of Formal Logic 23(3), 204–218.

4. Clarke, B. L.: 1985, Individuals and points, Notre Dame Journal of Formal Logic 26(1), 61–75.

5. Cohn, A. G.: 1993, Modal and non modal qualitative spatial logics, in F. D. Anger, H. W. Guesgen, and J. van Benthem (eds.), Proceedings of the Workshop on Spatial and Temporal Reasoning, Chambéry, IJCAI.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards a Framework for Functional Representation of Spatial Relations;Baltic Journal of Modern Computing;2024

2. Resolving the Symbol-Subsymbol Debates;Studies in Computational Intelligence;2020-08-25

3. The Gap Between Symbolic and Connectionist Approaches;Studies in Computational Intelligence;2020-08-25

4. An Assertion Framework for Mobile Robotic Programming with Spatial Reasoning;2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC);2018-07

5. Representation and Reasoning of Topological Relations Between Enclave and Exclave Regions;Computational Science and Its Applications – ICCSA 2016;2016