Matching Logic - Extended Abstract (Invited Talk).

Published in: RTA (2015)

Keyphrases

extended abstract
invited talk
knowledge discovery and data mining
selected papers
logic programming
matching algorithm
matching process
pattern matching
image matching
graph matching
neural network
machine learning
modal logic
multi valued
classical logic
carefully reviewed and selected from submissions