Prime Implicates of First Order Formulas.
Manoj K. RautArindama SinghPublished in: Int. J. Comput. Sci. Appl. (2004)
Keyphrases
- prime implicates
- prime implicants
- horn clauses
- normal form
- belief change
- first order logic
- propositional logic
- modal logic
- propositional formulas
- desirable properties
- knowledge compilation
- logical formulas
- abductive reasoning
- boolean functions
- relational databases
- quantified boolean formulae
- polynomial size
- databases
- inference rules
- functional dependencies
- belief revision
- disjunctive normal form
- knowledge acquisition
- expert systems