Design of a Solver for Multi-Agent Epistemic Planning

From MaRDI portal
Publication:6325527