Matching Logic: An Alternative to Hoare/Floyd Logic.

Grigore Rosu Chucky Ellison Wolfram Schulte

Published in: AMAST (2010)

Keyphrases

classical logic
sound and complete axiomatization
logic programming
modal logic
multi valued
predicate logic
neural network
logical framework
bayesian networks
shape matching
probabilistic logic
object recognition
computational properties
case study
modal operators
deontic logic
delay insensitive
data sets