Theory Resolution: Building in Nonequational Theories

AAAI 1983 pp. 391-397

/aaai/1983/stickel1983aaai-theory/

Cite

Text

Stickel. "Theory Resolution: Building in Nonequational Theories." AAAI Conference on Artificial Intelligence, 1983.

Markdown

[Stickel. "Theory Resolution: Building in Nonequational Theories." AAAI Conference on Artificial Intelligence, 1983.](https://mlanthology.org/aaai/1983/stickel1983aaai-theory/)

BibTeX

@inproceedings{stickel1983aaai-theory,
  title     = {{Theory Resolution: Building in Nonequational Theories}},
  author    = {Stickel, Mark E.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1983},
  pages     = {391-397},
  url       = {https://mlanthology.org/aaai/1983/stickel1983aaai-theory/}
}