Arbitrary public announcement logic with mental programs. In: (2015)

by T Charrier, F Schwarzentruber
Venue:Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems.