Capturing constrained constructor patterns in matching logic.

Xiaohong Chen Dorel Lucanu Grigore Rosu

Published in: J. Log. Algebraic Methods Program. (2023)

Keyphrases

matching scheme
matching algorithm
image matching
shape matching
pattern mining
search engine
data mining techniques
expressive power
classical logic
temporal patterns
repetitive patterns
learning algorithm
similar patterns
multi valued
pattern discovery
design patterns
logic programming
computer vision