Alechina, N., Bulling, N., Logan, B., & Nguyen, H. N. On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic. Presented at International Joint Conference on Artificial Intelligence (IJCAI-15)