A Characterization of Weakest Preconditions.

Published in: J. Comput. Syst. Sci. (1977)

Keyphrases

situation calculus
neural network
data sets
real world
artificial intelligence
high quality
multi agent
expert systems
control system
mobile robot
probabilistic model