Keyphrases
- knowledge extraction
- propositional logic
- belief revision
- knowledge discovery
- first order logic
- quantified boolean formulae
- textual documents
- data mining
- davis putnam
- possibilistic logic
- satisfiability testing
- lattice theory
- belief change
- propositional satisfiability
- horn logic
- fuzzy logic
- databases
- np complete
- computational intelligence
- domain knowledge
- data analysis