Representing Higher-Order Logic Proofs in HOL.

Joakim von Wright

Published in: TPHOLs (1994)

Keyphrases

higher order logic
theorem prover
higher order
theorem proving
conditional logic
inference rules
logical framework
automated reasoning
natural deduction
first order logic
data representation
machine learning
nonmonotonic reasoning
genetic programming
belief revision
default reasoning
bayesian networks