ML Anthology

Integrating a Spatial Reasoner with a Resolution Theorem-Prover

Thomas R. Ioerger
AAAI 1997 pp. 145-152
/aaai/1997/ioerger1997aaai-integrating/
PDF AAAI Semantic Scholar

Cite

Text

Ioerger. "Integrating a Spatial Reasoner with a Resolution Theorem-Prover." AAAI Conference on Artificial Intelligence, 1997.

Markdown

[Ioerger. "Integrating a Spatial Reasoner with a Resolution Theorem-Prover." AAAI Conference on Artificial Intelligence, 1997.](https://mlanthology.org/aaai/1997/ioerger1997aaai-integrating/)

BibTeX

@inproceedings{ioerger1997aaai-integrating,
  title     = {{Integrating a Spatial Reasoner with a Resolution Theorem-Prover}},
  author    = {Ioerger, Thomas R.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1997},
  pages     = {145-152},
  url       = {https://mlanthology.org/aaai/1997/ioerger1997aaai-integrating/}
}