Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen. On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic. In Qiang Yang 0001, Michael Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. pages 1494-1501, AAAI Press, 2015. [doi]
Abstract is missing.