Higher Order Function Synthesis Through Proof Planning.

Andrew Cook Andrew Ireland Greg Michaelson

Published in: ASE (2001)

Keyphrases

higher order
proof planning
theorem proving
concept formation
building intelligent
pairwise
markov random field
pattern recognition
artificial intelligence
reinforcement learning
multi agent systems
logic programming