Mining Missing Assumptions from Counter-Examples.
Guillaume PlassanKatell Morin-AlloryDominique BorrionePublished in: ACM Trans. Embed. Comput. Syst. (2019)
Keyphrases
- counter examples
- mining algorithm
- text mining
- missing data
- incomplete data
- relational databases
- frequent patterns
- interesting patterns
- association rule mining
- itemsets
- knowledge discovery
- data mining techniques
- cooperative
- data mining algorithms
- web mining
- missing values
- data mining methods
- pattern discovery
- association rules
- expert systems
- bounded model checking
- data streams