Brian Logan's Publications

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

By: Natasha Alechina, Nils Bulling, Brian Logan, and Nguyen, Hoang Nga

Download Information

Natasha Alechina, Nils Bulling, Brian Logan, and Nguyen, Hoang Nga (2015). "On the Boundary of (Un)Decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic." Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) (pp. 1494-1501).

Bibtex citation

@inproceedings{Alechina//:15e,
author =    "Natasha Alechina and Nils Bulling and Brian Logan and Nguyen, Hoang Nga",
title =    "On the Boundary of (Un)Decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic",
booktitle =    "Proceedings of the 24th International Joint Conference on Artificial Intelligence ({IJCAI} 2015)",
editor =    "Qiang Yang",
pages =    "1494--1501",
address =    "Buenos Aires, Argentina",
year =    2015,
month =    "July",
organization = "IJCAI",
publisher =    "{AAAI} Press",
}

---

full list