Keyphrases
- inductive learning
- inductive logic programming
- first order logic
- machine learning
- approximation spaces
- concept learning
- neural network
- inductive inference
- databases
- clustering algorithm
- image sequences
- rough sets
- rule learning
- functional programs
- precise definition
- deductive reasoning
- transitive closure
- rough set theory
- bayesian networks
- image processing
- information systems