Reinfrank et al. "On the Relation Between Truth Maintenance and Autoepistemic Logic." International Joint Conference on Artificial Intelligence, 1989.
Markdown
[Reinfrank et al. "On the Relation Between Truth Maintenance and Autoepistemic Logic." International Joint Conference on Artificial Intelligence, 1989.](https://mlanthology.org/ijcai/1989/reinfrank1989ijcai-relation/)
BibTeX
@inproceedings{reinfrank1989ijcai-relation,
title = {{On the Relation Between Truth Maintenance and Autoepistemic Logic}},
author = {Reinfrank, Michael and Dressler, Oskar and Brewka, Gerhard},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1989},
pages = {1206-1212},
url = {https://mlanthology.org/ijcai/1989/reinfrank1989ijcai-relation/}
}