On Connections and Higher-Order Logic.

Peter B. Andrews

Published in: J. Autom. Reason. (1989)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
logical framework
data representation
evolutionary algorithm
belief revision
modal logic
nonmonotonic reasoning
programming language
logic programming
expert systems
default logic
default reasoning
multiple agents
automated reasoning
pairwise