Kartha. "Soundness and Completeness Theorems for Three Formalizations of Action." International Joint Conference on Artificial Intelligence, 1993.
Markdown
[Kartha. "Soundness and Completeness Theorems for Three Formalizations of Action." International Joint Conference on Artificial Intelligence, 1993.](https://mlanthology.org/ijcai/1993/kartha1993ijcai-soundness/)
BibTeX
@inproceedings{kartha1993ijcai-soundness,
title = {{Soundness and Completeness Theorems for Three Formalizations of Action}},
author = {Kartha, G. Neelakantan},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1993},
pages = {724-731},
url = {https://mlanthology.org/ijcai/1993/kartha1993ijcai-soundness/}
}