Cohn: "Thought and (1990)

by A M Frisch, A G
Venue:Afterthoughts on the 1988 Workshop on Principles of Hybrid Reasoning," AI Magazine
Add To MetaCart
Results 1 - 1 of 1

Qualitative and Topological Relationships

by Z. Cui, A.G. Cohn, D.A. Randell , 1993
"... In this paper, we present a spatial logic which can be used to reason about topological and spatial relationships among objects in spatial databases. The main advantages of such a formalism are its rigorousness, clear semantics and sound inference mechanism. We also show how the formalism can be ex ..."
Abstract - Cited by 12 (0 self) - Add to MetaCart
In this paper, we present a spatial logic which can be used to reason about topological and spatial relationships among objects in spatial databases. The main advantages of such a formalism are its rigorousness, clear semantics and sound inference mechanism. We also show how the formalism can be extended to include orientation and metrical information. Comparisons with other formalisms are discussed.