The Use of Higher Order Logic in Program Verification.

George W. Ernst Raymond J. Hookway

Published in: IEEE Trans. Computers (1976)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
logical framework
pairwise
default reasoning
belief revision
nonmonotonic reasoning
first order logic
knowledge representation
evolutionary algorithm
decision trees
artificial intelligence
theorem proving
automated reasoning
feature extraction