Natasha Alechina's Publications

Verifying Time and Communication Costs of Rule-Based Reasoners (2009)

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

Download Information

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2009). "Verifying Time and Communication Costs of Rule-Based Reasoners." Model Checking and Artificial Intelligence, 5th International Workshop MoChArt 2008, Patras Greece, July 21, 2008. Revised Selected and Invited Papers. pdf    

Bibtex citation

@inproceedings{Alechina//:09a,
author =    {Natasha Alechina and Brian Logan and Nguyen Hoang Nga and Abdur Rakib},
title =    {Verifying Time and Communication Costs of Rule-Based Reasoners},
booktitle =    {Model Checking and Artificial Intelligence, 5th International Workshop {MoChArt} 2008, Patras Greece, July 21, 2008. Revised Selected and Invited Papers},
year =    2009,
editor =    {Doron Peled and Michael Wooldridge},
series =    {LNCS},
volume =    5348,
publisher =    {Springer},
address =    {Berlin/Heidelberg},
isbn =    {978-3-642-00430-8},
doi =       {10.1007/978-3-642-00431-5},
}

full list