From topology to metric: modal logic and quantification in metric spaces.
Mikhail SheremetDmitry TishkovskyFrank WolterMichael ZakharyaschevPublished in: Advances in Modal Logic (2006)
Keyphrases
- metric space
- modal logic
- similarity search
- temporal logic
- distance function
- high dimensional
- probability measures
- nonmonotonic logics
- similarity queries
- range queries
- epistemic logic
- access methods
- conditional logic
- situation calculus
- triangle inequality
- default logic
- point sets
- vector space
- pattern recognition
- partially ordered sets
- prime implicates
- explanation based generalization
- data sets
- modal operators
- model checking
- data management
- image sequences
- decision trees