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).
| |
|
|