Plan-belief Revision in Jason Topics: Programming Environments and Languages In Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, 182-189, 2015 , Lisbon, Portugal