Connections and Higher-Order Logic.

Peter B. Andrews

Published in: CADE (1986)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
logical framework
inference rules
machine learning
expert systems
logic programming
belief revision
default reasoning