MatchC: A Matching Logic Reachability Verifier Using the K Framework.

Andrei Stefanescu

Published in: Electron. Notes Theor. Comput. Sci. (2014)

Keyphrases

main contribution
abductive reasoning
logical framework
pattern matching
reasoning engine
database
predicate logic
matching scheme
feature matching
conceptual framework
matching algorithm
probabilistic model
multiscale
similarity measure
case study
social networks
artificial intelligence
databases