Knowledge Compilation in the Modal Logic S5.
Meghyn BienvenuHélène FargierPierre MarquisPublished in: AAAI (2010)
Keyphrases
- modal logic
- prime implicates
- knowledge compilation
- product configuration
- temporal logic
- decision procedures
- inference rules
- epistemic logic
- nonmonotonic logics
- conditional logic
- classical logic
- situation calculus
- default logic
- normal form
- model checking
- artificial intelligence
- dynamic logic
- belief change
- databases
- knowledge representation
- information retrieval
- machine learning