Keyphrases
- association rules
- rule extraction
- theorem proving
- inductive inference
- artificial intelligence
- knowledge base
- rule discovery
- learning rules
- artificial neural networks
- association rule mining
- attribute values
- classification rules
- theorem prover
- transformation rules
- computational models
- rule sets
- case study
- decision trees
- web services
- information systems