Keyphrases
- matching algorithm
- image matching
- matching process
- modal logic
- database
- deontic logic
- matching scheme
- multi valued
- theorem proving
- graph matching
- pattern matching
- keypoints
- higher order
- shape matching
- pairwise
- affine invariant
- theorem prover
- multi agent systems
- information systems
- search engine
- classical logic
- predicate logic
- artificial intelligence