Rao and Georgeff. "A Model-Theoretic Approach to the Verification of Situated Reasoning Systems." International Joint Conference on Artificial Intelligence, 1993.
Markdown
[Rao and Georgeff. "A Model-Theoretic Approach to the Verification of Situated Reasoning Systems." International Joint Conference on Artificial Intelligence, 1993.](https://mlanthology.org/ijcai/1993/rao1993ijcai-model/)
BibTeX
@inproceedings{rao1993ijcai-model,
title = {{A Model-Theoretic Approach to the Verification of Situated Reasoning Systems}},
author = {Rao, Anand S. and Georgeff, Michael P.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1993},
pages = {318-324},
url = {https://mlanthology.org/ijcai/1993/rao1993ijcai-model/}
}