Natasha Alechina's Publications

Model-checking memory requirements of resource-bounded reasoners (2006)

By: Alex Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, and Luciano Serafini

Download Information

Alex Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, and Luciano Serafini (2006). "Model-checking memory requirements of resource-bounded reasoners." Proceedings of the Twenty-First National Conference on Artificial Intelligence (AAAI'06) (pp. 213-218). pdf    

Bibtex citation

@inproceedings{Albore//:06a,
author =    {Alex Albore and Natasha Alechina and Piergiorgio Bertoli and Chiara Ghidini and Brian Logan and Luciano Serafini},
title =    {Model-checking memory requirements of resource-bounded reasoners},
booktitle =    {Proceedings of the Twenty-First National Conference on Artificial Intelligence ({AAAI'06})},
year =    2006,
pages =    {213--218},
location =    {Boston (Mass), USA},
publisher =    {AAAI Press},
}

full list