Brian Logan's Publications

Verifying time and communication costs of rule-based reasoners (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 and communication costs of rule-based reasoners." Proceedings of the Fifth Workshop on Model Checking and Artificial Intelligence (MoChArt-2008).

Bibtex citation

@inproceedings{Alechina//:08d,
author =     {Natasha Alechina and Brian Logan and Nguyen Hoang Nga and Abdur Rakib},
title =     {Verifying time and communication costs of rule-based reasoners},
booktitle = {Proceedings of the Fifth Workshop on Model Checking and Artificial Intelligence ({MoChArt}-2008)},
year =     2008,
editor =     {Doron Peled and Michael Wooldrigde},
address =     {Patras, Greece},
month =     {July},
}

---

full list