A Logic for Concepts and Similarity.

Mikhail Sheremet Dmitry Tishkovsky Frank Wolter Michael Zakharyaschev

Published in: J. Log. Comput. (2007)

Keyphrases

similarity measure
similarity relations
modal logic
semantic similarity
distance measure
classical logic
domain knowledge
logical rules
computational properties
multi valued
distance function
logic programming
automated reasoning
similarity metrics
similarity metric
set theory
predicate logic
rough sets