Modal Logics of Metric Spaces.
Guram BezhanishviliDavid GabelaiaJoel Lucero-BryanPublished in: Rev. Symb. Log. (2015)
Keyphrases
- modal logic
- metric space
- similarity search
- temporal logic
- distance function
- decision procedures
- high dimensional
- inference rules
- similarity queries
- range queries
- epistemic logic
- access methods
- probability measures
- point sets
- situation calculus
- default logic
- vector space
- nonmonotonic logics
- searching in metric spaces
- similarity join
- data analysis