ML Anthology

Using Model Theory to Specify AI Programs

Alan M. Frisch
IJCAI 1985 pp. 148-154
/ijcai/1985/frisch1985ijcai-using/
PDF IJCAI Semantic Scholar

Cite

Text

Frisch. "Using Model Theory to Specify AI Programs." International Joint Conference on Artificial Intelligence, 1985.

Markdown

[Frisch. "Using Model Theory to Specify AI Programs." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/frisch1985ijcai-using/)

BibTeX

@inproceedings{frisch1985ijcai-using,
  title     = {{Using Model Theory to Specify AI Programs}},
  author    = {Frisch, Alan M.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1985},
  pages     = {148-154},
  url       = {https://mlanthology.org/ijcai/1985/frisch1985ijcai-using/}
}