Nominal Matching Logic.

James Cheney Maribel Fernández

Published in: CoRR (2022)

Keyphrases

pattern matching
matching algorithm
predicate logic
logic programming
image matching
graph matching
face recognition
approximate matching
machine learning
asynchronous circuits
classical logic
feature matching
matching process
shape matching
logic programs
computer vision
artificial intelligence