Login / Signup
Supporting Emergence in Spatial Reasoning With Shape Algebras and Formal Logic.
Scott C. Chase
Published in:
COSIT (1997)
Keyphrases
</>
spatial reasoning
formal logic
spatial relations
temporal reasoning
predicate logic
relation algebra
topological relations
spatial knowledge
directional relations
artificial intelligence
formal methods
high level
text mining
logic programming
deductive databases
design theory