Keyphrases
- rule induction
- inductive learning
- real time
- intuitionistic logic
- machine learning
- von neumann
- constructive induction
- data structure
- inductive logic programming
- oblique decision trees
- program synthesis
- discovery process
- explanation based learning
- evolutionary algorithm
- web services
- image processing
- concept learning
- domain knowledge
- learning environment
- version space
- concept formation
- three dimensional
- inductive reasoning
- functional programs
- data mining
- database