Weakest expressible preconditions: a new tool for proving completeness results about Hoare calculi.

Published in: Theoretical Computer Science (1983)

Keyphrases

data quality
inference rules
transitive closure
situation calculus
explanation based learning
sequent calculi
databases
neural network
machine learning
search algorithm
relational databases