Unification in Matching Logic - Extended Version.
Andrei ArusoaieDorel LucanuPublished in: CoRR (2018)
Keyphrases
- matching algorithm
- matching process
- pattern matching
- multi valued
- shape matching
- modal logic
- image matching
- set theory
- automated reasoning
- affine invariant
- keypoints
- derivation rules
- sound and complete axiomatization
- automated theorem proving
- proof theory
- monadic second order logic
- data sets
- classical logic
- first order logic
- logic programming
- feature points
- higher order
- computer vision
- databases