%0 Conference Paper %1 conf/aaai/JunkerK90 %A Junker, Ulrich %A Konolige, Kurt %B AAAI %D 1990 %E Shrobe, Howard E. %E Dietterich, Thomas G. %E Swartout, William R. %I AAAI Press / The MIT Press %K %P 278-283 %T Computing the Extensions of Autoepistemic and Default Logics with a Truth Maintenance System. %U http://dblp.uni-trier.de/db/conf/aaai/aaai90.html#JunkerK90 %@ 0-262-51057-X

@inproceedings{conf/aaai/JunkerK90, added-at = {2023-12-12T19:07:23.000+0100}, author = {Junker, Ulrich and Konolige, Kurt}, biburl = {https://www.bibsonomy.org/bibtex/2aec8d6e832a239d6f6d2d46dd67be0b8/admin}, booktitle = {AAAI}, crossref = {conf/aaai/1990}, editor = {Shrobe, Howard E. and Dietterich, Thomas G. and Swartout, William R.}, ee = {http://www.aaai.org/Library/AAAI/1990/aaai90-043.php}, interhash = {1c14ee0187d01061fa7e97628e0f4f31}, intrahash = {aec8d6e832a239d6f6d2d46dd67be0b8}, isbn = {0-262-51057-X}, keywords = {}, pages = {278-283}, publisher = {AAAI Press / The MIT Press}, timestamp = {2023-12-12T19:07:23.000+0100}, title = {Computing the Extensions of Autoepistemic and Default Logics with a Truth Maintenance System.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai90.html#JunkerK90}, year = 1990 }