An Incremental Algorithm for Computing Prime Implicates in Modal Logic.
Manoj K. RautPublished in: TAMC (2014)
Keyphrases
- prime implicates
- modal logic
- prime implicants
- temporal logic
- inference rules
- nonmonotonic logics
- normal form
- belief change
- epistemic logic
- conditional logic
- situation calculus
- desirable properties
- knowledge compilation
- classical logic
- abductive reasoning
- complexity theoretic
- explanation based generalization
- artificial intelligence
- propositional logic
- relational databases
- dynamic logic
- default logic
- databases
- description logic alc