Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces.
Régis AlendaNicola OlivettiPublished in: LPAR (Yogyakarta) (2010)
Keyphrases
- tableau calculus
- distance measure
- euclidean distance
- distance function
- similarity measure
- description logics
- distance metric
- dissimilarity measure
- triangular inequality
- knowledge base
- distance computation
- hamming distance
- logic programming
- intra class
- multi valued
- user defined
- modal logic
- automated reasoning
- edit distance
- minimal models