Karlsson. "Reasoning with Incomplete Initial Information and Nondeterminism in Situation Calculus." International Joint Conference on Artificial Intelligence, 1997.
Markdown
[Karlsson. "Reasoning with Incomplete Initial Information and Nondeterminism in Situation Calculus." International Joint Conference on Artificial Intelligence, 1997.](https://mlanthology.org/ijcai/1997/karlsson1997ijcai-reasoning/)
BibTeX
@inproceedings{karlsson1997ijcai-reasoning,
title = {{Reasoning with Incomplete Initial Information and Nondeterminism in Situation Calculus}},
author = {Karlsson, Lars},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1997},
pages = {1434-1440},
url = {https://mlanthology.org/ijcai/1997/karlsson1997ijcai-reasoning/}
}