Procedure compilation in the refinement calculus.

Karl Lermer Colin J. Fidge

Published in: Formal Aspects Comput. (2006)

Keyphrases

proof procedure
neural network
iterative refinement
computer algebra
artificial intelligence
knowledge base
search algorithm
relational databases
first order logic
search procedure
step wise