Knowledge Compilation in the Multi-Agent Epistemic Logic Kn.
Liangda FangKewen WangZhe WangXiming WenPublished in: KR (2018)
Keyphrases
- epistemic logic
- knowledge compilation
- multi agent
- multi agent systems
- modal logic
- prime implicates
- product configuration
- model checking
- dynamic epistemic logic
- cooperative
- inference rules
- multi faceted
- normal form
- logical framework
- mathematical theory
- formal verification
- reinforcement learning
- multiple agents
- constraint satisfaction
- formal semantics
- temporal logic
- knowledge based systems
- object oriented
- image processing
- decomposable negation normal form