Modal Logics for Metric Spaces: Open Problems.
Agi KuruczFrank WolterMichael ZakharyaschevPublished in: We Will Show Them! (2) (2005)
Keyphrases
- open problems
- modal logic
- metric space
- similarity search
- temporal logic
- decision procedures
- inference rules
- distance function
- high dimensional
- similarity queries
- epistemic logic
- nonmonotonic logics
- searching in metric spaces
- default logic
- multidatabase transaction management
- access methods
- situation calculus
- similarity join
- range queries
- vector space
- probability measures
- model checking
- multidimensional index
- point sets
- similarity measure
- machine learning
- bayesian networks
- data structure
- query processing
- distance measure