Brian Logan's Publications

Verifying time, memory and communication bounds in systems of reasoning agents (2008)

By: Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib

Download Information

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2008). "Verifying time, memory and communication bounds in systems of reasoning agents." Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008) (pp. 736-743).

Bibtex citation

@inproceedings{Alechina//:08a,
author =     {Natasha Alechina and Brian Logan and Nguyen Hoang Nga and Abdur Rakib},
title =     {Verifying time, memory and communication bounds in systems of reasoning agents},
booktitle =     {Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems ({AAMAS} 2008)},
pages =     {736--743},
year =     {2008},
editor =     {Lin Padgham and David Parkes and J{\"o}rg M{\"u}ller and Simon Parsons},
volume =     {2},
address =     {Estoril, Portugal},
month =     {May},
organization = {IFAAMAS},
publisher = {IFAAMAS},
isbn = {978-0-981-7381-0-9},
}

---

full list