Return to Article Details EFP 2.0: A Multi-Agent Epistemic Solver with Multiple E-State Representations Download Download PDF