Qualitative Spatial-Relation Reasoning for Design-Reference-Cited by-同舟云学术

Qualitative Spatial-Relation Reasoning for Design

Published:2014-11-09 Issue: Volume: Page:153-175
ISSN:
Container-title:Studying Visual and Spatial Reasoning for Design Creativity
language:
Short-container-title:

Author:

Egenhofer Max J.

Publisher

Springer Netherlands

Link

http://link.springer.com/content/pdf/10.1007/978-94-017-9297-4_9

Reference54 articles.

1. Egenhofer M, Franzosa R (1991) Point-set topological spatial relations. Int J Geogr Inf Syst 5(2):161–174

2. Egenhofer M, Al-Taha K (1992) Reasoning about gradual changes of topological relationships. In: Frank A, Campari I, Formentini U (eds) Theories and methods of spatio-temporal reasoning in geographic space, lecture notes in computer science. Springer, Vol 639, pp 196–219

3. Randell D, Cui Z, Cohn A (1992) A spatial logic based on regions and connection. In: Nebel B, Rich C, Swartout W (eds) 3rd international conference on principles of knowledge representation and reasoning. Morgan Kaufmann, pp 165–176

4. Randell D, Cohn A, Cui Z (1992) Computing transitivity tables: a challenge for automated theoremprovers. 11th international conference on automated deduction, pp 786–790

5. Egenhofer M (1994) Deriving the composition of binary topological relations. J Vis Lang Comput 5(2):133–149

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

1. Satisfiability Verification of Integrity Constraints for Spatial Linked Data;Communications in Computer and Information Science;2023

2. Tractable Fragments of Temporal Sequences of Topological Information;Lecture Notes in Computer Science;2020

3. Artificial Intelligence – The Big Picture;Cognitive Computing;2020

4. Construction of a Repertoire of Analog Form-Finding Techniques as a Basis for Computational Morphological Exploration in Design and Architecture;Computational Intelligence in Music, Sound, Art and Design;2018

5. Visual Art, Visual Design and Numeracy;Numeracy in Authentic Contexts;2017-10-26