Brian Logan's Publications

Decidable Model-Checking for a Resource Logic with Production of Resources (2014)

By: Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Franco Raimondi

Download Information

Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Franco Raimondi (2014). "Decidable Model-Checking for a Resource Logic with Production of Resources." Proceedings of the 21st European Conference on Artificial Intelligence (ECAI-2014) (pp. 9-14).

Bibtex citation

@inproceedings{Alechina//:14c,
author =    "Natasha Alechina and Brian Logan and Nguyen, Hoang Nga and Franco Raimondi",
title =    "Decidable Model-Checking for a Resource Logic with Production of Resources",
booktitle =    "Proceedings of the 21st European Conference on Artificial Intelligence ({ECAI}-2014)",
pages =    9--14,
year =    2014,
address =    "Prague, Czech Republic",
month =    "August",
organization = "ECCAI",
publisher =    "IOS Press",
}

---

full list