Applying Case-Based Reasoning to Automated Deduction.

Marc Fuchs Matthias Fuchs

Published in: ICCBR (1997)

Keyphrases

automated deduction
case based reasoning
theorem proving
theorem prover
inference rules
logic programming
neural network
deductive databases
real world
case base
expert systems
data model
case based reasoning systems
rule based reasoning
artificial intelligence
adaptation knowledge
hierarchical problem solving