Matching logic explained.
Xiaohong ChenDorel LucanuGrigore RosuPublished in: J. Log. Algebraic Methods Program. (2021)
Keyphrases
- logic programming
- matching algorithm
- pattern matching
- matching scheme
- image matching
- bayesian networks
- string matching
- matching process
- information retrieval
- correspondence matching
- keypoints
- feature descriptors
- delay insensitive
- proof theory
- relational structures
- shape matching
- feature points
- image features
- face recognition
- knowledge base
- artificial intelligence