Keyphrases
- matching algorithm
- feature points
- pattern matching
- template matching
- modal logic
- matching process
- logic programming
- keypoints
- image matching
- learning algorithm
- ontology matching
- graph matching
- correspondence matching
- proof theory
- epistemic logic
- formal theory
- relational structures
- matching scheme
- automated reasoning
- affine invariant
- artificial intelligence