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