TY  - RPRT
TI  - Knowledge Compilation in Multi-Agent Epistemic Logics
AU  - Liangda Fang
AU  - Kewen Wang
AU  - Zhe Wang
AU  - Ximing Wen
PY  - 2018
UR  - https://arxiv.org/abs/1806.10561
ID  - 1806.10561
ER  -