Keyphrases
- inductive learning
- artificial intelligence
- concept formation
- machine learning
- constructive induction
- formal methods
- theorem prover
- concept learning
- modular neural networks
- inductive reasoning
- inductive logic programming
- website
- genetic algorithm
- data sets
- discovery process
- program synthesis
- modular structure
- neural network
- databases