Carving Up space: Steps towards construction of an absolutely complete theory of spatial regions-Reference-Cited by-同舟云学术

Carving Up space: Steps towards construction of an absolutely complete theory of spatial regions

Published:1996 Issue: Volume: Page:337-353
ISSN:0302-9743
Container-title:Logics in Artificial Intelligence
language:
Short-container-title:

Author:

Bennett Brandon

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61630-6_24.pdf

Reference20 articles.

1. Allen, J. F.: 1981, An interval-based representation of temporal knowledge, Proceedings 7th IJCAI, pp. 221–226.

2. Asher, N. and Vieu, L.: 1995, Toward a geometry of common sense: A semantics and a complete axiomatization of mereotopology, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-95), Montreal.

3. Bennett, B.: 1994, Spatial reasoning with propositional logics, in J. Doyle, E. Sandewall and P. Torasso (eds), Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94), Morgan Kaufmann, San Francisco, CA.

4. Biacino, L. and Gerla, G.: 1991, Connection structures, Notre Dame Journal of Formal Logic.

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

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

1. RCC and the Theory of Simple Regions in ℝ2;Spatial Information Theory;2013

2. Mereotopological Connection;Journal of Philosophical Logic;2003-08

3. Modes of Connection;Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science;1999

4. Qualitative spatial representation and reasoning techniques;KI-97: Advances in Artificial Intelligence;1997

5. Calculi for qualitative spatial reasoning;Artificial Intelligence and Symbolic Mathematical Computation;1996