Keyphrases
- formal theory
- similarity measure
- qualitative reasoning
- distance measure
- multi valued
- modal operators
- causal reasoning
- semantic similarity
- structural similarity
- spatial reasoning
- asynchronous circuits
- probabilistic knowledge
- truth values
- classical logic
- logical framework
- automated reasoning
- modal logic
- similarity function
- euclidean distance
- similarity measurement
- similarity metric
- similarity metrics
- digital circuits
- logic programming
- collaborative filtering
- epistemic logic
- pairwise
- neural network
- database