Computing Prime Implicants/Implicates for Regular Logics.
Anavai RameshNeil V. MurrayPublished in: ISMVL (1994)
Keyphrases
- prime implicates
- prime implicants
- modal logic
- belief change
- normal form
- desirable properties
- knowledge compilation
- temporal logic
- abductive reasoning
- belief revision
- boolean functions
- inference rules
- expressive power
- computational complexity
- nonmonotonic reasoning
- integrity constraints
- classical logic
- information extraction