Proof Guidance in PVS with Sequential Pattern Mining.
M. Saqib NawazMeng SunPhilippe Fournier-VigerPublished in: FSEN (2019)
Keyphrases
- sequential pattern mining
- theorem proving
- sequential patterns
- multi dimensional
- mining sequential patterns
- pattern mining
- frequent sequential patterns
- mining algorithm
- theorem prover
- web log data
- sequence mining
- frequent itemset mining
- web logs
- frequent patterns
- itemset mining
- sequential pattern mining algorithm
- interesting patterns
- first order logic
- pruning strategy
- pattern growth
- frequent pattern mining
- data mining
- pattern discovery
- frequent sequences
- xml schema
- text mining
- social networks
- machine learning