ML Anthology

PLANNER: A Language for Proving Theorems in Robots

Carl Hewitt
IJCAI 1969 pp. 295-302
/ijcai/1969/hewitt1969ijcai-planner/
PDF IJCAI Semantic Scholar

Cite

Text

Hewitt. "PLANNER: A Language for Proving Theorems in Robots." International Joint Conference on Artificial Intelligence, 1969.

Markdown

[Hewitt. "PLANNER: A Language for Proving Theorems in Robots." International Joint Conference on Artificial Intelligence, 1969.](https://mlanthology.org/ijcai/1969/hewitt1969ijcai-planner/)

BibTeX

@inproceedings{hewitt1969ijcai-planner,
  title     = {{PLANNER: A Language for Proving Theorems in Robots}},
  author    = {Hewitt, Carl},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1969},
  pages     = {295-302},
  url       = {https://mlanthology.org/ijcai/1969/hewitt1969ijcai-planner/}
}