Matching μ-Logic.

Xiaohong Chen Grigore Rosu

Published in: LICS (2019)

Keyphrases

matching algorithm
graph matching
artificial intelligence
pattern matching
image matching
multi valued
information systems
classical logic
logical framework
expert systems
modal logic
ontology matching
database
matching process
shape matching
logic programming
multiscale
website
machine learning