Login / Signup

Modelling spatial reasoning systems with shape algebras and formal logic.

Scott C. Chase
Published in: Artif. Intell. Eng. Des. Anal. Manuf. (1997)
Keyphrases
  • spatial reasoning
  • formal logic
  • temporal reasoning
  • spatial relations
  • topological relations
  • spatial knowledge
  • directional relations
  • information retrieval
  • formal methods