Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}