Nested Hoare Triples and Frame Rules for Higher-Order Store.

Jan Schwinghammer Lars Birkedal Bernhard Reus Hongseok Yang

Published in: CSL (2009)

Keyphrases

higher order
rule sets
pairwise
rule extraction
markov random field
production rules
natural images
association rule mining
decision rules
high order
background knowledge
lower order
rule base
classification rules
database
probabilistic model
learning classifier systems
data structure
data mining