Knowledge Compilation in Multi-Agent Epistemic Logics

Open in new window