An Exercise in Weakest Preconditions.

Robin W. Whitty

Published in: Softw. Test. Verification Reliab. (1991)

Keyphrases

explanation based learning
situation calculus
inference rules
action models
data sets
computer vision
image retrieval
hidden markov models
inductive learning