Varieties of Weakest Liberal Preconditions.

Joseph M. Morris

Published in: Inf. Process. Lett. (1987)

Keyphrases

explanation based learning
inference rules
situation calculus
training data
information retrieval
decision trees
high quality
object recognition
active learning
wireless sensor networks
initial state