Agostino Dovier

EFP 2.0: A Multi-Agent Epistemic Solver with Multiple E-State Representations

2020 · Proceedings of the International Conference on Automated Planning and Scheduling

Multi-agent systems have been employed to model, simulate and explore a variety of real-world scenarios. It is becoming more and more important to investigate formalisms and tools that would allow us to exploit automated reasoning …