C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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