Keyphrases
- bi directional
- inductive learning
- inductive reasoning
- forward and backward
- inductive logic programming
- rule induction
- concept formation
- constructive induction
- qualitative models
- proof planning
- program synthesis
- concept learning
- oblique decision trees
- sequence prediction
- inductive inference
- knowledge representation
- knowledge base
- explanation based learning
- reasoning tasks
- discovery process
- logic programs
- induction algorithms
- image sequences
- case study
- artificial intelligence
- machine learning
- neural network
- databases