Logic-Based Modeling Approaches for Qualitative and Hybrid Reasoning in Dynamic Spatial Systems.
Stefan MitschAndré PlatzerWerner RetschitzeggerWieland SchwingerPublished in: ACM Comput. Surv. (2015)
Keyphrases
- reasoning systems
- knowledge representation
- qualitative reasoning
- qualitative physics
- intelligent systems
- topological relations
- spatio temporal
- management system
- spatial reasoning
- dynamic environments
- order of magnitude reasoning
- qualitative spatial reasoning
- spatial information
- complex systems
- neural network
- distributed systems
- knowledge base
- qualitative and quantitative
- computer systems
- bayesian networks
- artificial intelligence