ML Anthology

(De)Composition of Situation Calculus Theories

Eyal Amir
AAAI 2000 pp. 456-463
/aaai/2000/amir2000aaai-de/
PDF AAAI Semantic Scholar

Cite

Text

Amir. "(De)Composition of Situation Calculus Theories." AAAI Conference on Artificial Intelligence, 2000.

Markdown

[Amir. "(De)Composition of Situation Calculus Theories." AAAI Conference on Artificial Intelligence, 2000.](https://mlanthology.org/aaai/2000/amir2000aaai-de/)

BibTeX

@inproceedings{amir2000aaai-de,
  title     = {{(De)Composition of Situation Calculus Theories}},
  author    = {Amir, Eyal},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2000},
  pages     = {456-463},
  url       = {https://mlanthology.org/aaai/2000/amir2000aaai-de/}
}