Another characterization of weakest preconditions.

Pedro Guerreiro

Published in: Symposium on Programming (1982)

Keyphrases

inference rules
pattern recognition
data sets
neural network
knowledge base
image processing
bayesian networks
multi agent
learning environment
situation calculus
explanation based learning