An Exercise in Weakest Preconditions.

Robin W. Whitty

Published in: Bull. EATCS (1990)

Keyphrases

explanation based learning
inference rules
decision trees
email
action models
support vector
special case
domain knowledge