ML Anthology

Model-Checking Memory Requirements of Resource-Bounded Reasoners

Alexandre Albore, Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Brian Logan, Luciano Serafini
AAAI 2006 pp. 213-218
/aaai/2006/albore2006aaai-model/
PDF AAAI Semantic Scholar

Cite

Text

Albore et al. "Model-Checking Memory Requirements of Resource-Bounded Reasoners." AAAI Conference on Artificial Intelligence, 2006.

Markdown

[Albore et al. "Model-Checking Memory Requirements of Resource-Bounded Reasoners." AAAI Conference on Artificial Intelligence, 2006.](https://mlanthology.org/aaai/2006/albore2006aaai-model/)

BibTeX

@inproceedings{albore2006aaai-model,
  title     = {{Model-Checking Memory Requirements of Resource-Bounded Reasoners}},
  author    = {Albore, Alexandre and Alechina, Natasha and Bertoli, Piergiorgio and Ghidini, Chiara and Logan, Brian and Serafini, Luciano},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2006},
  pages     = {213-218},
  url       = {https://mlanthology.org/aaai/2006/albore2006aaai-model/}
}