Computation of Prime Implicates and Prime Implicants by a Variant of the Davis and Putnam Procedure.
Thierry CastellPublished in: ICTAI (1996)
Keyphrases
- prime implicates
- prime implicants
- normal form
- belief change
- boolean functions
- desirable properties
- modal logic
- abductive reasoning
- knowledge compilation
- automated reasoning
- complexity theoretic
- relational databases
- belief revision
- inference rules
- reasoning tasks
- plan recognition
- theorem proving
- bayesian networks
- orders of magnitude
- np complete
- search algorithm