Keyphrases
- inductive learning
- inductive logic programming
- inductive reasoning
- program synthesis
- machine learning
- concept learning
- inference rules
- reinforcement learning
- modal logic
- neural network
- real time
- data sets
- concept formation
- discovery process
- explanation based learning
- inductive inference
- database
- logic programs
- probability distribution
- objective function
- web services