Analogical Reasoning and Proof Discovery.

Bishop Brock Shaun Cooper William Pierce

Published in: CADE (1988)

Keyphrases

analogical reasoning
case based reasoning
analogy making
data mining
case base
knowledge discovery
theorem prover
expert systems
software engineering
knowledge acquisition
past experience