Prime Implicates and Prime Implicants: From Propositional to Modal Logic.
Meghyn BienvenuPublished in: CoRR (2014)
Keyphrases
- prime implicates
- modal logic
- prime implicants
- temporal logic
- inference rules
- quantified boolean formulae
- default logic
- classical logic
- complexity theoretic
- situation calculus
- autoepistemic logic
- normal form
- desirable properties
- abductive reasoning
- knowledge compilation
- belief change
- satisfiability problem
- knowledge base