Login / Signup
Inductive Learning Applied to Program Construction and Verification.
Ivan Bratko
Marko Grobelnik
Published in:
AIFIPP (1992)
Keyphrases
</>
inductive learning
lazy learning
meta learning
explanation based learning
machine learning
knowledge acquisition
data mining
inductive logic programming
feature generation
genetic programming
concept descriptions
symbolic execution
ripple down rules