Natasha Alechina'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). pdf    

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",
address = "Buenos Aires, Argentina",
year = 2015,
month = "July",
organization = "IJCAI",
publisher = "{AAAI} Press",
}

full list