On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic

Alechina et al. "On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic." International Joint Conference on Artificial Intelligence, 2015.

[Alechina et al. "On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/alechina2015ijcai-boundary/)

@inproceedings{alechina2015ijcai-boundary,
  title     = {{On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic}},
  author    = {Alechina, Natasha and Bulling, Nils and Logan, Brian and Nguyen, Hoang Nga},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {1494-1501},
  url       = {https://mlanthology.org/ijcai/2015/alechina2015ijcai-boundary/}
}