Matching Logic.

Published in: CoRR (2017)

Keyphrases

matching algorithm
pattern matching
logic programming
keypoints
image matching
template matching
truth values
matching process
feature matching
automated reasoning
classical logic
correspondence matching
genetic algorithm
ontology matching
set theory
matching scheme
multi valued
modal logic
object recognition