Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus

Régis Alenda Nicola Olivetti Camilla Schwind

Published in: CoRR (2009)

Keyphrases

modal logic
functional dependencies
similarity measure
distance measure
comparative analysis
information systems
similarity metric
similarity measurement
feature vectors
similarity metrics
visual similarity
sequent calculus