Toward a Procedure for Data Mining Proofs.
Zachary ErnstSeth KurtenbachPublished in: Automated Reasoning and Mathematics (2013)
Keyphrases
- data mining
- data mining methods
- knowledge discovery
- association rule mining
- decision support
- data visualization
- association rules
- data analysis
- decision making
- case study
- website
- granular computing
- rough sets
- data mining techniques
- data mining approaches
- data mining algorithms
- web mining
- business applications
- formal proofs
- iterative procedure
- data sets
- theorem prover
- text mining
- database systems
- feature selection
- information retrieval
- real world
- neural network