Decidable metric logics.

Yoram Hirshfeld Alexander Moshe Rabinovich

Published in: Inf. Comput. (2008)

Keyphrases

expressive power
first order logic
modal logic
metric space
fisher information
nonmonotonic logics
inference rules
metric learning
distance measure
transitive closure
situation calculus
evaluation metrics
propositional logic
quality metrics
data complexity
distance metric
high dimensional
propositional calculus