A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations.

Rui Ge Ronald Garcia Alexander J. Summers

Published in: IJCAR (1) (2024)

Keyphrases

formal model
neural network
matching algorithm
matching process
pattern matching
keypoints
image matching
shape matching
feature matching
security properties
predicate calculus
string matching
formal models