ML Anthology

Application of Theorem Proving to Problem Solving

C. Cordell Green
IJCAI 1969 pp. 219-240
doi:10.1016/B978-0-934613-03-3.50019-2 /ijcai/1969/green1969ijcai-application/

Abstract

Key Words: Theorem proving, resolution, problem solving, automatic programming, program writing, robots, state transformations, question answering.

PDF Semantic Scholar

Cite

Text

Green. "Application of Theorem Proving to Problem Solving." International Joint Conference on Artificial Intelligence, 1969. doi:10.1016/B978-0-934613-03-3.50019-2

Markdown

[Green. "Application of Theorem Proving to Problem Solving." International Joint Conference on Artificial Intelligence, 1969.](https://mlanthology.org/ijcai/1969/green1969ijcai-application/) doi:10.1016/B978-0-934613-03-3.50019-2

BibTeX

@inproceedings{green1969ijcai-application,
  title     = {{Application of Theorem Proving to Problem Solving}},
  author    = {Green, C. Cordell},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1969},
  pages     = {219-240},
  doi       = {10.1016/B978-0-934613-03-3.50019-2},
  url       = {https://mlanthology.org/ijcai/1969/green1969ijcai-application/}
}