Keyphrases
- logical rules
- association rules
- artificial intelligence
- rule sets
- rule induction
- multiscale
- classification rules
- decision rules
- theorem prover
- real world
- attribute values
- association rule mining
- domain experts
- theorem proving
- production rules
- information retrieval
- rule discovery
- quantitative measures
- machine learning