Many-Valued Modal Logic Metric Spaces based on Frames.
Huixian ShiGuo-Jun WangPublished in: QLSC (2012)
Keyphrases
- modal logic
- metric space
- temporal logic
- similarity search
- inference rules
- similarity queries
- epistemic logic
- distance function
- probability measures
- access methods
- range queries
- searching in metric spaces
- situation calculus
- vector space
- nonmonotonic logics
- high dimensional
- point sets
- multidimensional index
- data sets
- key frames
- moving objects
- default logic
- video frames
- multimedia
- partially ordered sets
- model checking
- database management systems
- similarity join
- neural network
- explanation based generalization