Brian Logan'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).
| |
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