Knowledge Compilation in Multi-Agent Epistemic Logics.
Liangda FangKewen WangZhe WangXiming WenPublished in: CoRR (2018)
Keyphrases
- knowledge compilation
- multi agent
- kripke models
- modal logic
- prime implicates
- epistemic logic
- product configuration
- multi agent systems
- belief change
- modal operators
- propositional dynamic logic
- logical inference
- quantified boolean formulae
- inference rules
- temporal logic
- model counting
- classical logic
- polynomial size
- decision support
- decomposable negation normal form
- data mining
- model checking
- search algorithm