Functional Procedures in Higher-Order Logic.

Linas Laibinis Joakim von Wright

Published in: TPHOLs (2000)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
logical framework
default reasoning
artificial intelligence
decision trees
pairwise
belief revision