Junker and Konolige. "Computing the Extensions of Autoepistemic and Default Logics with a Truth Maintenance System." AAAI Conference on Artificial Intelligence, 1990.
Markdown
[Junker and Konolige. "Computing the Extensions of Autoepistemic and Default Logics with a Truth Maintenance System." AAAI Conference on Artificial Intelligence, 1990.](https://mlanthology.org/aaai/1990/junker1990aaai-computing/)
BibTeX
@inproceedings{junker1990aaai-computing,
title = {{Computing the Extensions of Autoepistemic and Default Logics with a Truth Maintenance System}},
author = {Junker, Ulrich and Konolige, Kurt},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {1990},
pages = {278-283},
url = {https://mlanthology.org/aaai/1990/junker1990aaai-computing/}
}