Checking reachability using matching logic.

Grigore Rosu Andrei Stefanescu

Published in: OOPSLA (2012)

Keyphrases

matching algorithm
pattern matching
classical logic
matching scheme
logic programming
state space
graph matching
multi valued
web services
feature points
image matching
modal logic
relational structures
data sets
automated reasoning
matching process
keypoints
case study
databases