The Kripke schema in metric topology.
Robert S. LubarskyFred RichmanPeter SchusterPublished in: Math. Log. Q. (2012)
Keyphrases
- modal logic
- data model
- metric space
- databases
- desirable properties
- distance metric
- inference rules
- data sets
- database schema
- temporal logic
- model checking
- evaluation metrics
- database
- metric learning
- distance measure
- high dimensional
- bayesian networks
- topological properties
- schema matching
- conceptual schema
- instance level
- semantically enriched