Weakest Preconditions for Progress.

Johan J. Lukkien Jan L. A. van de Snepscheut

Published in: Formal Aspects Comput. (1992)

Keyphrases

real world
situation calculus
inference rules
computer vision
knowledge base
computer science
pairwise