Unfold/Fold Inductive Proof: An Extension of a Folding Technique.

Rym Salem Khaled Bsaïes

Published in: IEA/AIE (1999)

Keyphrases

machine learning
inductive inference
real world
human brain
rule learning
databases
genetic algorithm
knowledge representation
inductive logic programming
inductive learning
concept learning
theorem prover
proof planning
proof theoretic