Automated Reasoning About Metric and Topology.
Ullrich HustadtDmitry TishkovskyFrank WolterMichael ZakharyaschevPublished in: JELIA (2006)
Keyphrases
- metric space
- semi automated
- fully automated
- databases
- artificial intelligence
- image segmentation
- euclidean metric
- automated analysis
- topological properties
- small world
- qualitative reasoning
- spatial reasoning
- similarity metric
- computer assisted
- distance metric
- distance function
- e learning
- information systems
- learning algorithm
- data mining