Nguyen, H., Alechina, N., Bulling, N., & Logan, B. (2015). On the boundary of (un)decidability: Decidable model-checking for a fragment of Resource Agent Logic. IJCAI'15: Proceedings of the 24th International Conference on Artificial Intelligence.
Chicago Style CitationNguyen, Hoang, Natasha Alechina, Nils Bulling, and Brian Logan. "On the Boundary of (un)decidability: Decidable Model-checking for a Fragment of Resource Agent Logic." IJCAI'15: Proceedings of the 24th International Conference On Artificial Intelligence 2015.
MLA CitationNguyen, Hoang, Natasha Alechina, Nils Bulling, and Brian Logan. "On the Boundary of (un)decidability: Decidable Model-checking for a Fragment of Resource Agent Logic." IJCAI'15: Proceedings of the 24th International Conference On Artificial Intelligence 2015.