Keyphrases
- conflict resolution
- program synthesis
- access control
- rule induction
- inductive learning
- access control systems
- version space
- bi directional
- explanation based learning
- inductive inference
- genetic algorithm
- subgroup discovery
- database systems
- forward and backward
- concept formation
- constructive induction
- data mining
- neural network