Mining to Compact CNF Propositional Formulae
Saïd JabbourLakhdar SaisYakoub SalhiPublished in: CoRR (2013)
Keyphrases
- knowledge compilation
- horn clauses
- conjunctive normal form
- quantified boolean formulae
- propositional logic
- knowledge discovery
- boolean functions
- data mining techniques
- text mining
- data mining
- data mining methods
- sequential patterns
- web mining
- multi relational
- first order logic
- model counting
- pattern mining
- mining algorithm
- pattern discovery
- inference rules
- multi valued
- clause learning