Axiomatizing Distance Logics.

Oliver Kutz Holger Sturm Nobu-Yuki Suzuki Frank Wolter Michael Zakharyaschev

Published in: J. Appl. Non Class. Logics (2002)

Keyphrases

distance measure
distance function
expressive power
machine learning
euclidean distance
modal logic
inference rules
classical logic
nearest neighbor
distance transform
nonmonotonic logics
distance matrix
distance measurement