ML Anthology

Semantics for a Useful Fragment of the Situation Calculus

Gerhard Lakemeyer, Hector J. Levesque
IJCAI 2005 pp. 490-496
/ijcai/2005/lakemeyer2005ijcai-semantics/
PDF IJCAI Semantic Scholar

Cite

Text

Lakemeyer and Levesque. "Semantics for a Useful Fragment of the Situation Calculus." International Joint Conference on Artificial Intelligence, 2005.

Markdown

[Lakemeyer and Levesque. "Semantics for a Useful Fragment of the Situation Calculus." International Joint Conference on Artificial Intelligence, 2005.](https://mlanthology.org/ijcai/2005/lakemeyer2005ijcai-semantics/)

BibTeX

@inproceedings{lakemeyer2005ijcai-semantics,
  title     = {{Semantics for a Useful Fragment of the Situation Calculus}},
  author    = {Lakemeyer, Gerhard and Levesque, Hector J.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2005},
  pages     = {490-496},
  url       = {https://mlanthology.org/ijcai/2005/lakemeyer2005ijcai-semantics/}
}