Keyphrases
- association rules
- intuitionistic logic
- computer algebra
- deductive reasoning
- association rule mining
- data mining
- knowledge discovery
- mining association rules
- automated theorem proving
- mining algorithm
- classical logic
- association mining
- inference rules
- formal concept analysis
- logic programming
- association rules mining
- proof search
- market basket analysis
- rule sets
- classification rules
- frequent itemsets
- theorem proving
- multi valued
- logical framework
- mining of association rules
- frequent patterns
- data mining techniques
- proof procedure
- itemsets
- modal logic
- linear logic
- discovered rules
- proof theory
- apriori algorithm
- theorem prover
- fuzzy rules
- decision trees
- market basket data
- neural network