Extending Qualitative Spatial Theories with Emergent Spatial Concepts - An Automated Reasoning Approach.
Gonzalo A. Aranda-CorralJoaquín Borrego-DíazAntonia M. Chávez-GonzálezPublished in: HAIS (2014)
Keyphrases
- automated reasoning
- qualitative spatial
- qualitative spatial reasoning
- theorem proving
- knowledge representation
- theorem prover
- probabilistic reasoning
- human robot interaction
- cardinal directions
- spatial reasoning
- spatial information
- temporal logic
- belief networks
- artificial intelligence
- spatial data
- expert systems
- bayesian networks