Keyphrases
- theoretical basis
- constructive induction
- general theory
- computational model
- inductive learning
- inductive reasoning
- program synthesis
- rule induction
- domain theory
- domain knowledge
- information technology
- explanation based learning
- decision theory
- learning environment
- knowledge base
- search engine
- formal theory
- real world
- databases