ML Anthology

Provably Correct Theories of Action (Preliminary Report)

Fangzhen Lin, Yoav Shoham
AAAI 1991 pp. 349-354
/aaai/1991/lin1991aaai-provably/
PDF AAAI Semantic Scholar

Cite

Text

Lin and Shoham. "Provably Correct Theories of Action (Preliminary Report)." AAAI Conference on Artificial Intelligence, 1991.

Markdown

[Lin and Shoham. "Provably Correct Theories of Action (Preliminary Report)." AAAI Conference on Artificial Intelligence, 1991.](https://mlanthology.org/aaai/1991/lin1991aaai-provably/)

BibTeX

@inproceedings{lin1991aaai-provably,
  title     = {{Provably Correct Theories of Action (Preliminary Report)}},
  author    = {Lin, Fangzhen and Shoham, Yoav},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1991},
  pages     = {349-354},
  url       = {https://mlanthology.org/aaai/1991/lin1991aaai-provably/}
}